FreeBSD 10.1-BETA3 SOEKRIS Image

How the FDT works In specific, I’m looking at this file bcm2835.dtsi which contains the hardware definitions for the BCM2835, the SOC which powers a Raspberry Pi. Primarily, i’m interested in how to read it.   To really make sense of this, you should have this pdf at hand; it’s the hardware manual for BCM2835.  If…

I got interested in building Crochet images for Chromebook.  The first step, naturally is to build U-boot for Chromebook. In order to build U-boot, you’ll need to have already installed gmake gcc You can get these from the ports tree.  You’ll also need xdev, the FreeBSD cross-compiler toolkit. I started with the latest U-boot 2014…

I was curious to see how difficult it would be to compile NetBSD on FreeBSD 10.  Once you have the source, there is a build.sh script which is very helpful.  The build is as simple as: ./build.sh -m i386 tools ./build.sh -m i386 kernel=GENERIC release In my case I have both clang and gcc installed.  I…

This build fixes the recent console speed bug, and include super-pages, a new feature recently added to the ARM kernel. The image file is here, and the boot log is here.

I have a number of disks in my FreeBSD box which exist only as backups of data.  I prefer that they not be mounted all the time, but instead mounted on use.  They are 2x internal SATA disks and an external USB3 disk.   This blog post explains how they are set up to auto-mount….

I’ve been learning about FreeBSD kernel development, and discovering that, not surprisingly, it’s very, very slow to compile on a Raspberry Pi.  So, I decided to figure out how to compile the Pi kernel on a nice fast AMD-64. Firstly, get the kernel sources to a subdirectory under a non-root user profile: mkdir fbsd cd…