FreeBSD on RaspberryPi

[Lars Engels]

On Wed, Nov 07, 2012 at 08:01:08AM -0800, Tim Kientzle wrote:
> WARNING:  This is still highly experimental and by no
> means ready for "production use", but some folks might
> find it interesting.
> 
> To boot FreeBSD on your RaspberryPi, you'll need:
>   1) A RaspberryPi.
>   2) A serial cable similar to this one:  www.adafruit.com/products/954
>   3) An SD card of 2GB or larger
> 
> Download this 111MB file (~1.6G uncompressed):
>    http://people.freebsd.org/~kientzle/FreeBSD-RPI-B-r242362-2012-10-30.img.xz
> 
> Uncompress it, dd it onto your SD card, pop it in and apply power.
> (The serial cable above can also provide power; just leave the red
> lead disconnected until you get the SD card plugged in.)
> 
> 
> KNOWN BROKEN STUFF
> 
>   * There's no framebuffer/syscons yet.  Hence the need for a serial cable.
> 
>   * The memory is mis-probed (actually a boot loader problem,
>      not a FreeBSD kernel issue), so you'll only get to use 128MB
>      (you might be able to change this for a single boot by breaking
>      into ubldr and editing the FDT by hand)
> 
>   * There has been NO attempt to reduce the footprint of this image.
>     It's a completely stock build of FreeBSD-CURRENT.
>     (Actually, I have turned off sendmail and a few other things in rc.conf,
>     but compensated by building world with full debug enabled.)
> 
>   * I've personally not tried USB or Ethernet and have no idea if they work.

...

Are you aware of this?

http://kernelnomicon.org/?p=178
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 196 bytes
Desc: not available
URL: <http://lists.freebsd.org/pipermail/freebsd-hackers/attachments/20121107/1fb3c180/attachment.sig>