Jetson TK1 Development Kit

I really wish this supported android. This would make a great Set top box for android gaming with a controller.

You could probably figure out how to put it on there. Maybe try to adapt the Nvidia Shield Tablet vanilla rom

Thats what I was thinking. I wonder if anyone has done it already.

Also because it already runs Linux, you should be able to run it as a Linux based steam machine.. Maybe? 

its not a x86 based system. so...you would need a game written to work on that platform if i am correct. i mean maybe i am crazy. but the linux kernel is written to support ARM, thats why it run linux