A Raspberry Pi is probably what you wanted due to the HDMI output you were looking for (and the probable need for the Pi's gpu)