FreeBSD on Raspberry Pi 512MB (with U-Boot + ubldr)

[George Mitchell]

On 11/29/12 15:04, Daisuke Aoyama wrote:
> Hello,
>
> The recent change about "fdt addr" is very interesting.
>
> So, I'm building with FreeBSD 10-current(svn 243675 + fdt-memreserve.diff).
> It needs some little modification to U-Boot.
>
> My first impression is "The time is not stable".
> However, it works on Raspberry Pi w/512MB! Thank you for porting.
>
> You can download my test binary from:
>
> http://www.peach.ne.jp/archives/rpi/freebsd-pi-20121130.img.gz
>
> Download and decompress it, then write it to SD.
> This image requires SD 4GB or more.
> I'm using as headless. So, you need a serial console for seeing the boot
> log.
> If you need to change the value on it, please mount the second partition
> (e.g. /dev/da0s2a).
>
> Note: first time, it takes about 2 minutes due to generate the SSH keys.
>
> BTW, SDHCI is not yet stable?
>
>
> Pre configured for:
>
> MEM 496MB/GPU 16MB/SWAP 512MB
> I/O: serial console
> IP address: 192.168.1.240
> Default router: 192.168.1.1
> DNS: 192.168.1.1
> sshd: enabled
>
> User: pi
> Password: raspberry
> Password(root): raspberry
>
>
> Layout of SD:
>
> % df -h
> Filesystem        Size    Used   Avail Capacity  Mounted on
> /dev/mmcsd0s2a    3.0G    230M    2.6G     8%    /
> devfs             1.0k    1.0k      0B   100%    /dev
> % gpart show
> =>     63  7744449  mmcsd0  MBR  (3.7G)
>        63    65520       1  !12  [active]  (32M)
>     65583  7604163       2  freebsd  (3.6G)
>   7669746    74766          - free -  (36M)
>
> =>      0  7604163  mmcsd0s2  BSD  (3.6G)
>         0      465            - free -  (232k)
>       465  6553600         1  freebsd-ufs  (3.1G)
>   6554065  1048576         2  freebsd-swap  (512M)
>   7602641     1522            - free -  (761k)
>
> Head of the log:
>
> KDB: debugger backends: ddb
> KDB: current backend: ddb
> Copyright (c) 1992-2012 The FreeBSD Project.
> Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994
>         The Regents of the University of California. All rights reserved.
> FreeBSD is a registered trademark of The FreeBSD Foundation.
> FreeBSD 10.0-CURRENT #0 r243675M: Fri Nov 30 00:40:06 JST 2012
>     aoyama at fbs.local:/usr/obj-rpi/arm.arm/usr/src/sys/RPI-B-test2 arm
> CPU: Sheeva 88SV581x rev 7 (Marvell core)
> Supported features: ARM_ISA THUMB2 JAZELLE ARMv4 Security_Ext
> WB enabled LABT branch prediction enabled
>   16KB/32B 4-way instruction cache
>   16KB/32B 4-way write-back-locking-C data cache
> real memory  = 520093696 (496 MB)
> avail memory = 502611968 (479 MB)
> simplebus0: <Flattened device tree simple bus> mem 0xf2000000-0xf2ffffff
> on fdtb
> us0
> intc0: <BCM2835 Interrupt Controller> mem 0xf200b200-0xf200b3ff on
> simplebus0
> systimer0: <BCM2835 System Timer> mem 0xf2003000-0xf2003fff irq
> 8,9,10,11 on sim
> plebus0
> Event timer "BCM2835 Event Timer 3" frequency 1000000 Hz quality 1000
> Timecounter "BCM2835 Timecounter" frequency 1000000 Hz quality 1000
> sdhci_bcm0: <Broadcom 2708 SDHCI controller> mem 0xf2300000-0xf23000ff
> irq 70 on
>
>
> Referrences:
> http://lists.freebsd.org/pipermail/freebsd-arm/2012-November/004263.html
> http://kernelnomicon.org/?p=164
> http://raspberrypi.stackexchange.com/questions/3288/freebsd-easiest-way-to-install-on-my-rpi
>
> http://metanest.jp/sysprogharawata/raspi/raspi.html
>

I'm a newcomer to the Raspberry Pi, but I've been running FreeBSD for
over fifteen years.  Since I don't have a Pi yet, I am trying to
emulate one with qemu.  Here is the command line I'm currently trying:

qemu-system-arm -cpu arm1136-r2 -m 256 -M versatilepb -serial stdio -hda 
freebsd-pi-20121130.img.gz

It tells me "Kernel image must be specified".  How can I get a kernel
image to satisfy this request?

Many thanks to the people performing this work, and also the beagleboard
and beaglebone work!  I hope to live long enough to see the day these
platforms are promoted to tier 1 status in FreeBSD!   -- George Mitchell