The cabling and converter required to connect the HDMI port to a VGA monitor cost slightly more than the PC itself:
Right to left: Mini PC, USB mouse connector, micro USB (for power), mouse, HDMI gender changer, mouse, HDMI to VGA converter
It boots into Android:
Using Android with a mouse is an odd experience, but generally works fine:
I’m hoping to get Hans de Goede’s Fedora 19 ARM remix on it later.