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:

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 serial adapter cable such as the one sold by Adafruit.com).

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, called the "micron", 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.

How to Build an Image

Raspberry Pi is supported by the Crochet build tool.

Packages

Some unofficial, home-built, native OABI packages against CURRENT are available here

Some notes:

Binary snapshots

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

FreeBSD/arm/Raspberry Pi (last edited 2014-02-17 01:44:53 by AllanJude)