Custom kernel under RPI

[Ian Lepore]

On Fri, 2013-03-15 at 18:21 +0100, Loïc BLOT wrote:
> Hi all,
> I don't know if it's the good list, but hackers for RPI, i think it's a
> good thing :D
> 
> I have a little problem with custom kernel with RPI. I have modified
> RPI-B config file to include run/runfw driver, compiled the kernel and
> install it (make buildkernel KERNCONF=RPI-B && make installkernel
> KERNCONF=RPI-B, from the RPI). The problem is at reboot. I can't boot on
> the RPI, because the kernel is frozen after those lines:
> 
> Kernel entry at 0x100100 ..
> Kernel args: (null)
> 
> Nothing after.
> Can someone tell me if i do something wrong ?
> Thanks for advance

For arm-specific questions, the freebsd-arm list might be better (I've
added it to the CC).

The problem may be that it has no device-tree info.  You can add "fdt
addr 0x100" to the /boot/loader.rc file to fix that.  You can also enter
it by hand at the loader prompt first to see if that helps... just hit a
character (other than return) while it's loading the kernel, enter that
command, then enter 'boot'.

-- Ian