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

Tim Kientzle tim at
Mon Dec 31 18:48:40 UTC 2012

Thanks for the reminder.  I had intended to re-enable devd.
I just committed that change.

I'm reluctant to use SYNCDHCP because of the boot-time
consequences.  It should only be needed by people attaching
their RPi to fairly sophisticated networks, which I doubt will
be the norm.

However, there are a couple of all-purpose hooks for
local customizations.

1) Provide your own rc.conf  as work/overlay/etc/rc.conf

The contents of work/overlay are copied on top of the image
after the script has done all of the routine build steps.
You can build or copy this file within your

2) Define a customize_freebsd_partition function.

This function always runs exactly last, just before the
FreeBSD partition is unmounted.

For example, you can add the following lines to your

customize_freebsd_partition ( ) {
    echo 'ifconfig_ue0="SYNCDHCP"' >> $1/etc/rc.conf

($1 is the root of the mounted FreeBSD partition at
this point in time.)

I think the above is all documented in;
do you see any way to improve that documentation?


On Dec 30, 2012, at 9:10 PM, Dave Cheney wrote:

> Hi Tim,
> I tried to build a Pi image using your latest scripts but ran into a
> problem DHCP'ing the image. It might be because devd is not enabled by
> default, but irrespective, could I encourage you to use SYNCDHCP on
> the Pi images ?
> Cheers
> Dave
> On Sun, Dec 30, 2012 at 2:28 PM, Tim Kientzle <tim at> wrote:
>> On Dec 29, 2012, at 3:19 PM, Oleksandr Tymoshenko wrote:
>>> On 12/29/2012 2:38 PM, Tim Kientzle wrote:
>>>> On Dec 1, 2012, at 3:26 AM, Daisuke Aoyama wrote:
>>>>>> You can try my test version from:
>>>>>> SHA256 (freebsd-pi-20121130.img.gz) = a4159301e2d7564ef065aa4c3d6afaef3284cc3ace1ae7c146aaea9e18ec0457
>>>>>> SHA256 (freebsd-pi-20121201.img.gz) = 7a0b8bcda7f70c39b259811c12854fcf856af7e18436e9beb0c2fa25a7fdb0e0
>>>>>> Using config is here:
>>>>> If you have a problem such as "Unrecognized filesystem type", please try this version:
>>>>> SHA256 (uboot-20121201.img) = 9218f3ce3a09b012eb250c044df9ed835929c207f3c3f89b21bfe249ef639a0f
>>>>> Rename it to uboot.img, then copy it to the SD you created.
>>>> Could you please send me the patches you used for this
>>> I might be wrong but I think it just disables HS mode for SDHCI.
>>> Something like this:
>> Thank you!  That's what I was looking for.
>> My scripts are now updated to support the new boot
>> process.  In particular, they build U-Boot from source,
>> build the VideoCore elements, and properly assemble
>> all of the new boot bits.
>> The following should be sufficient to build a
>> working RaspberryPi image from -CURRENT:
>> -----------------------------
>> board_setup RaspberryPi
>> SD_SIZE=$((1500 * MB))
>> -----------------------------
>> Tim
>> _______________________________________________
>> freebsd-arm at mailing list
>> To unsubscribe, send any mail to "freebsd-arm-unsubscribe at"

More information about the freebsd-arm mailing list