Similar Posts
Understanding the Raspberry Pi – FreeBSD gpio device
Recently I found myself wanting to understand how I2C for FreeBSD ARM, on the Pi works. The first step is to understand the GPIO implementation on Pi, since on a Pi, I2C is implemented on the GPIO. So, here’s the basic summary. Firstly, the FreeBSD source browser is here. In the directory /sys/ is the…
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…
A simple FreeBSD GPIO Example
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…
Time Machine backups using FreeBSD ZFS
In this blog article, I described a way to use Netatalk3 to do Time Machine backups on FreeBSD. This approach worked well, but it had some problems: The Time Machine backups are in every user’s home dir. That’s messy and there is the potential that they’ll accidentally delete the backup. If I put the backups…
FreeBSD 10.1-BETA3 SOEKRIS Image
Image file here.
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…