Not sure if this decoder is CPU intensive or if it requires FPU.

That ffmpeg code uses lots of FPU, from the look of it; it won't be running on Rio Receivers until someone does an integerised version of it.

Peter