Taking into account the "Is that hardware available?" question, and knowing this ain't, perhaps this could be a suggestion for future GSoCs or other coding efforts when they are in fact available, because this looks like a little bit of fun:

http://www.intel.com/content/www/us/en/do-it-yourself/galileo-maker-quark-board.html

Both are Pentium x86 class SoCs, the Edison (the SD card one) is a dual core 400MHz with wifi and Bluetooth, according to sources. I'm dreaming of Nix, but thats just me.

The bulk of the work would be compiling drivers for the respective systems, as both run Linux, and I imagine the source to the Linux drivers would be open.

Thoughts from the 9fans?

Thanks!

Shane.