Uhm, aren't most gaming systems Linux based?

Also:
Video codecs -- H.564 VC1; MPEG2
Typo or is there a new video codec out there that I'm not familiar with?