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
pgpIYllo1aWfj.pgp
Description: PGP signature
