valerino

grepping into soc driver infact results in

Theoretically - yes. But the driver code is very probably signed, no use... 

i doubt the os checks signatures.... anyway, easy to test, just change a byte in a driver module and reboot.....

i'm going to look at those src, thanks!

google valerino kernel xoanino (my old nickname)

anyway ... that's not the point, again. i just want to understand if its possible to patch the driver to allow other formats (even if they play crappy due to software decoding).

ok, grepping around for strings such h264, divx, etc... i found that the soc hw driver should be bcm7405.ko (for dmm800se). i'm going to load it in IDA and try to understand how it works.

I think the problem is that the pipeline is not complete. I mean gstreamer wants to decode your wmv via software decoder but don't know how to display the decoded data on the TV screen.
There a special gstreamer element which sends the undecoded streams to the Stb hardware. The hardware decodes the streams and show the result on the TV screen. It could be that this element is not able to handle decoded data. 

is there a way i can verify this ?