Custom kernel under RPI

[Aleksandr Rybalko]

On Sat, 16 Mar 2013 12:34:33 +0100
Loïc BLOT <loic.blot at unix-experience.fr> wrote:

> Hi Ian,
> i'm sorry but fdt addr is already on my loader.rc
> loader.rc:
> 
> fdt addr 0x100
> set console=comconsole,vidconsole
> 
> Is there any specific options when i do "make buildkernel
> KERNCONF=RPI-B" (from the raspberry) ? (in src.conf for example)
> 
> Best regards,
> Loïc BLOT, 
> UNIX systems, security and network expert
> http://www.unix-experience.fr
> 
> 
> 

Hello,

I'm don't know why it won't boot, but I can hint you to use if_run and
runfw as modules. Not resolved why, but I see it's won't work if it
built in kernel. As module, even loaded automatically by devd, it's
works fine. 

WBW
-- 
Aleksandr Rybalko <ray at freebsd.org>