Orange Pi One is a $10 Quad Core Board with Ethernet and HDMI