It's not Linux but somewhat related: the Always Innovating HDMI dongle. They were talking about a price point of $80 for Android 4.0 on a dongle that plugs into

It's not Linux but somewhat related: the Always Innovating HDMI dongle. They were talking about a price point of $80 for Android 4.0 on a dongle that plugs into your tv HDMI slot. Any idea where these will be available? Would it be possible to make a DIY version of this (it doesn't have to be as small or as attractively packaged, just that it would be great to have those functionality now). Would make a fantastic hardware/software hacker project. Edit - link: http://www.engadget.com/2012/03/01/always-innovating-hdmi-android-ics-dongle-hands-on/ http://www.engadget.com/2012/03/01/always-innovating-hdmi-an...