Rock/FreeBSD
Contents
Status
Ganbold, a FreeBSD developer, now get FreeBSD booting on rockchip platform. Ganbold told us only basic stuffs, gpio, dwc usb host mode are working. But this is just a start :) If you are interested, ping ganbold at #radxa irc channel on freenode for more details.
How to boot FreeBSD
The instructions are at FreeBSD ARM wiki
https://wiki.freebsd.org/FreeBSD/arm/Radxa%20Rock
Boot log
Boot log can be found here:
http://radxa.com/2013/10/18/freebsd-11-0-is-booting-on-radxa-rock/