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
Ubuntu 13.10 amd64 rkflashtool build note:
1. install libusb.h by sudo apt-get -y install libusb-1.0-0-dev
2. Turn off the board. Then while pushing Recover button plug usb cable(connected to otg port) to PC and release Recover button. if rk3188 is no in recover mode you will got "rkflashtool: fatal: cannot open device" when running ./rkflashtool p > param.txt
3. Use follow Makefile:
# all: rkflashtool rkflashtool: rkflashtool.c gcc -o rkflashtool rkflashtool.c -I/usr/include/libusb-1.0/ -lusb-1.0 -O2 -W -Wall clean: rm -f rkflashtool param: sudo ./rkflashtool r 0x0000 0x2000 > /tmp/parm #
Boot log
Boot log can be found here:
http://radxa.com/2013/10/18/freebsd-11-0-is-booting-on-radxa-rock/