reven:lchiu7:?
Looking at getting a MPEG2/VC1 licence but the docs aren't clear on how to install it if you're running a XMBC distro. Can you ssh to a Pi running a XBMC variant?
once xbmc is all installed, turn off the pi and plug the SD card back into your computer (mac or windows) and it will appear in the OS.
if there is a config.txt in the root of the drive use that, if not just create a config.txt in the root.
But don't you still have to ssh to the Pi to get the serial #?