So I just bought an
86Duino
It is a small x86 based single board computer
that has a 300MHz VortexEX system on chip with 128MB of RAM
It can be programed with onboard 2 MB flash like an Arduino
or it can boot an OS from an SD card such as Linux
It doesn't have VGA but it does have PCI-E hosting (So it should be possible to adapt a
video card to it)
as well as USB hosting and a built in micro SD slot
The whole list of capabilities is impressive but it is lacking documentation.
Oh and I got screwed for $25 shipping from Taiwan for a $39 item
so that is one bad thing