FreeBSD

A10 SoC support is in FreeBSD-CURRENT tree, but in beginning period. As for running FreeBSD, there are some netboot tips for Hackberry (uses same SoC A10 as cubieboard) and some script files including preparing SD card (should work for cubieboard too) are at: http://kernelnomicon.org/?p=298 As for current status there is no SATA driver yet as well as SD and NAND drivers. GPIO and USB works (2 host usb interfaces). Mounting rootfs using usb stick works this way. There is no ethernet driver yet. So basically support is in beginning stage, but in pretty good shape to start hacking :)