Anyone here following the development of the Raspberry Pi board? Is a $25 ($35 with Ethernet) ARM based embedded PC and has been posted about a couple of times here already in different forum categories.
They've just done a demo of it running XBMC - and very smoothly too, playing a 1080P H264 video:
http://www.raspberrypi.org/archives/571
Could this be the ultimate hackable media player? Oh and it has HDMI-CEC capability too apparently...
Also I guess once the OS distributions for it mature it could easily be a PVR too with the right tuner hardware and drivers...