I think you should check out PCDuino. It is basically a laptop motherboard with arduino interface for connecting to any micro-controller and can run android x86 although there is a custom compiled version of android but since it comes with an HDMI output just like the apple tv and you can hook...