sylgar
Posts: 26
Joined: Wed Mar 23, 2016 10:39 pm
Contact: Website

Booting kernel.bin directly (no u-boot) on the Raspberry Pi

Thu Mar 24, 2016 12:34 am

I am a happy user of FreeBSD on my RPI2 using the default images which use u-boot and an intermediary loader (ubldr).

My goal is to boot the FreeBSD kernel on my RPI2 without u-boot and without the ubldr loader, but still using the DTB blob provided and modified by the firmware.

With u-boot, I do:
uboot> fatload mmc 0 0x200000 kernel.bin
uboot> go 0x200000

And my kernel starts.

Now, when I want to bypass U-BOOT and use in config.txt:
kernel_address=0x200000 (same address with I jumped to with u-boot)
kernel=kernel.bin

it doesn’t work! I would expect that loading the same data (kernel.bin) at the same address, it would work…

What am I doing something wrong?

Thanks for your help!

Return to “FreeBSD”