Similar Posts
Building U-boot 2014 on FreeBSD
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-
FreeBSD Jail filesystems
I’ve been using FreeBSD jails for a while, and was looking for a simple way to create jail filesystems. After some reading, I came up with this simple script which creates full FreeBSD filesystems. The filesystem can then be used via jail.conf. #!/bin/bash JAILNAME=$1 echo “kjail “$1 JAIL_HOME=/tank/kjail/ FTP=http://ftp.freebsd.org/pub/FreeBSD/releases/amd64/11.1-RELEASE/ # # get packages # if…
Bare Metal coding on 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…
Spelunking the FreeBSD ARM FDT
The FDT is the “Flattened Device Tree”, a simple device tree used in embedded FreeBSD, for example on a Pi. Every architecture has a DTS file, which contains a human-readable list of hardware for that architecture. For example, the Pi FTD is here. You should notice that there are declarations for: cpu axi (the…
FreeBSD-11 on Wandboard
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:…
Cross-compiling FreeBSD ARM on AMD-64
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…