RaspberryPi
Der Raspberry Pi kann standardmäßig nur h264-kodierte Videos abspielen. Für MPEG2 (benutzt z.B. auf DVDs und in DVB-Streams in SD-Auflösung) und VC-1 (benutzt in wmv-Dateien) benötigt man jeweils eine zusätzliche Lizenz, die man auf http://www.raspberrypi.com/ für ca. 3€ bzw. 1,50€ erwerben kann. Die Lizenzen werden üblicherweise innerhalb eines Tages per E-Mail zugesendet.
Die Lizenzen müssen in der config.txt auf der ersten Partition der SD-Karte (/boot auf einem laufenden System) eingetragen werden. Hier als Beispiel der Inhalt auf meinem Raspberry Pi:
arm_freq=950 core_freq=450 isp_freq=450 sdram_freq=450 over_voltage=6 disable_overscan=1 decode_MPG2=0xaf58ece3 decode_WVC1=0x4d391666 gpu_mem_256=128 gpu_mem_512=256