Those CPUs are fast enough for H.264 decoding, but in the absence of VDPAU, realtime 1080i deinterlacing will be difficult. You'd probably have to use a simple bobber.

Really interesting thread...

now, where can I find a updataed list of dvb-s2 cards supported "out-of-the-box" ? (I mean, no days spent recompiling kernels, modules, drivers, and a touch of abracadabra...)

it's just an year now that my old vdr turns on twice each day to record a daily show... the show is going to end in a few weeks and so I will have some time to update the system...

thanks Francesco