[smp1]

I noticed a rare but very annoying bug. This usually happens when watching a HD DVB-S channel for a prolonged period of time (12+ hours).
The video and audio just freeze and the RPi is useable for a while, then in will completely lock up and reboot.

I'm not sure if this debug log would be useful, I enabled it after the stall occured (18:46:59) but before the RPi completely froze.

http://sprunge.us/FiZh