FreeBSD/ARM on Raspberry Pi

FreeBSD-CURRENT has supported Raspberry Pi since November, 2012. If you have questions, ask on the freebsd-arm mailing list.

What is Raspberry Pi?

The Raspberry Pi launched in early 2012 as an inexpensive ($35) PC based on a Broadcom BCM2835 SoC. It was developed by the UK-based Raspberry Pi foundation as an inexpensive system for educational use. As of April 2013, it has sold over a million units.

There are several versions of the Raspberry Pi:

What works

What still needs to be done

How to Boot the Raspberry Pi

As of January 2013, FreeBSD-CURRENT fully supports either a video console (you'll need a USB keyboard and display connected) or it can be configured to use a serial console (you'll need a USB to TTL Serial Cable such as the one sold by

After connecting video, keyboard, and inserting the SDHC card, you connect power to actually boot.

Anatomy of a Raspberry Pi Boot Image

A FreeBSD bootable image for Raspberry Pi has both FAT and UFS partitions containing the following files:

2013-12-12: Please notice that there is a new version if the RPi out, using a "micron" RAM chip, recognizable by the "M with orbit" logo on the chip. These require the newest firmware files (bootcode.bin, start.elf and possibly config.txt) None of the prebuilt images have these at this time, and trying to boot them gives you a single short flash of the green LED and no more.

2014-10-18: The firmware included in the official images has been updated to support B+ model.

How to Build an Image

Raspberry Pi is supported by the Crochet build tool.

Binary snapshots

Raspberry Pi snapshots are available for FreeBSD 10.1-RELEASE and FreeBSD 11-CURRENT.

FreeBSD/arm/Raspberry Pi (last edited 2015-03-06 20:05:03 by LuizSouza)