Raspberry Pi Stack Exchange is a question and answer site for users and developers of hardware and software for Raspberry Pi. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Raspberry Pi support has been merged into FreeBSD-CURRENT a few months ago. However the latest installation instructions still involve a lengthy process of cross-compiling the entire OS on another machine to create an installation image.

I realise it's early days for this (and performance won't be great), but is there a quicker way to play around with FreeBSD on my RPi for a bit? Did anyone publish some pre made images of recent builds perhaps?

share|improve this question
@bearbin: Thanks for the tag! I was too poor to afford one ;) – Ingmar Hupp Oct 22 '12 at 21:27
No problem. :). – bearbin Oct 23 '12 at 8:30
Ohh this is a brilliant question! I never thought of doing it but I am sure it is possbiel as FreeBSD runs on many types of processors, ie routers, phone switches,etc.. Nice +1 (Allan will know ;) ) – ppumkin Oct 23 '12 at 11:42
FreeBSD-Current Image file provided above, won't boot. Something wrong with MBR/bootloader... – user3293 Nov 14 '12 at 18:40
up vote 14 down vote accepted

Update 2014-01-29: It has just been announced that the arm/armv6 snapshot images for Raspberry Pi are now being pushed up to the FreeBSD FTP servers on a weekly basis. You can download a copy from your local FreeBSD FTP mirror, in the /pub/FreeBSD/snapshots/ISO-IMAGES/ folder.

Update 2014-01-28: Glen Barber kindly published this SD image of the recent FreeBSD 10.0-RELEASE, which has also made huge progress in supporting the hardware. So just grab that for the easiest way to install (of course you can still build your own too).

Update 2012-10-30: Updated image and instructions to latest CVS - now with root on SD

I've set up a VM and built the image myself - here's the result.


Although there's been lots of progress, keep in mind it's still early days and you're playing around with prerelease code. Don't put this in production.

Stuff that isn't working yet (in this particular checkout):

  • USB keyboard (at least mine doesn't work, despite being recognised - YMMV)
  • U-boot doesn't seem to care about uEnv.txt, so the root fs location is hardcoded in the kernel
  • The build has lots of debug options enabled, so don't go benchmarking it
  • This is FreeBSD-CURRENT on a newly added platform - expect it to blow up in your face and burn holes in your carpet

FreeBSD image for Raspberry Pi

Not scared yet? Fine, grab my prebuilt image:

Decompress this and write it to a SD card (at least 1 GB), then plug it in your Raspberry Pi and power it up. The framebuffer works, so after a few seconds you should see boot messages scrolling by and if you have a network cable plugged in you should eventually see a DHCP assigned address.

enter image description here

Now you can ssh in, using login root and password raspberry:

FreeBSD 10.0-CURRENT (RPI-Bsc) #10: Tue Oct 30 17:23:44 GMT 2012

Welcome to FreeBSD!

(optional) Building your own

This being CURRENT, it's bound to be out of date by the time you read this. So if you want the latest version, you can do what I did and build it. To do so, you need to follow FreeBSD-CURRENT, grab my build script and RPS-Bsc kernel config (goes into /usr/src/sys/arm/conf/) and run it. Depending on your machine, this could take a few hours.

Good luck and thanks to the nice people making FreeBSD.

share|improve this answer
I get access denied for the image and the kernel config. Is there an alternative source for them? – Craig Nov 5 '12 at 20:00
@Craig: Fixed the links, should work now. – Ingmar Hupp Nov 6 '12 at 14:36

protected by Community Nov 22 '12 at 16:10

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.