On 21 April 2016 at 13:50, Sylvain Garrigues <sylv...@sylvaingarrigues.com> wrote: > It does prevent FreeBSD to boot correctly. > > With that patch and > #define KERNEL_LOAD_ADDR 0x00200000 > in arm/boot/boot.c, official FreeBSD RPI2 images boot like a charm :-)
This is the kind of thing that is useful to mention in the commit message, because it tells people why the change is important... > BTW, would be great to be able to set the load addr on the command > line, wouldn’t it? The booting protocol does not mandate any particular address that the kernel has to be loaded at: https://www.kernel.org/doc/Documentation/arm/Booting If the FreeBSD kernel can't handle being loaded wherever we put it, that sounds like a FreeBSD bug to me... thanks -- PMM
