New FreeBSD Wandboard Image

I’ve been making FreeBSD-Current builds for my Raspberry Pi.  Naturally I wanted to try out the GPIO support to find out just how simple it is to use.   Here’s an example, and the full code is here. int main (int argc, char *argv[]) { char *device = “/dev/gpioc0”; int gpiofd = open(device, O_RDWR); if…

I’ve updated the u-boot bootloader for Crochet-FreeBSD Wandboard to 2014-10, from 2014-07.  The updated image is here, and the boot log is here.  

These are untested builds of FreeBSD-10, created with Crochet Raspberry-Pi BeagleBoard Soekris

Adding Wandboard support to Crochet-FreeBSD has been a project of mine for a while.  After this fascinating kernel fix, I can now build a working image and boot FreeBSD-Current.   Here is an example boot log, and here’s an image file. The output of dmesg, with a USB wireless adapter in the board, is: KDB:…

This build is for FreeBSD-11, Alpha 2. Binary image, and bootlog.  

The default FreeBSD kernel for Raspberry Pi can be found here in the FreeBSD source browser.  It’s everything you need to boot FreeBSD on a Pi, and includes GPIO support.  However, the Pi is a nice small computer, so it’s likely that you’ll want it to include options such as Wifi, and pf.  In my…