New FreeBSD-10 pre-release builds

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…

I’m upgrading the U-boot version used for Wandboard by Crochet-BSD.    The first step is to upgrade the Device Tree Compiler (DTC); there are instructions here. Once you have the U-boot 2014 source, the build is trivial: gmake SED=gsed HOSTCC=cc CROSS_COMPILE=armv6-freebsd- wandboard_quad_config gmake SED=gsed HOSTCC=cc CROSS_COMPILE=armv6-freebsd-  

I recently got interested in the technical details of how ARM OS’s work, so I decided to try my hand at writing a simple one.  This blog post is not about the OS itself, but about setting up the development environment. In my case, I’m developing in a terminal session, on FreeBSD 10 on an…

There is no official pkgng repo for FreeBSD-arm, yet.  There is an unofficial one, here, however in order to use it, you have to have pkgng installed.  As far as I can tell, the only way to install pkgng on ARM is to builds and install from source. On the platform I’m using, Wandboard, the…

I’ve had the opportunity to make some updates to the freebsd-arm-tools.   If you’re interested in trying FreeBSD-current on a Raspberry Pi, I’ve posted a build at http://files.khubla.com/freebsd-raspberry-pi/ which has full Wifi and pf support.  If you’re interested, the kernel configuration is here. Installing the FreeBSD on the Pi is simple.  Firstly, get an image, such…

In preparation for writing a device driver, I thought I would firstly write a module.  The resulting source code is here.   Firstly the Makefile: SRCS+=bus_if.h device_if.h examplemodule.c KMOD=examplemodule .include <bsd.kmod.mk> The first line defines the sources.   examplemodule.c is my module source.  I needed to include bus_if.h and device_if.h since I’m writing my module…