Problems with Head on RaspberryPi

[Oleksandr Tymoshenko]

On 2013-06-26, at 10:22 AM, Michael Tuexen <tuexen at freebsd.org> wrote:

> Dear all,
> 
> I have build FreeBSD using the script from
> https://github.com/daveish/freebsd-arm-tools
> for a couple of weeks and it worked fine. However,
> doing this within the last days, compilation and
> installation works, but the Raspberry Pi doesn't
> boot. After Starting kernel with NULL args
> or so, it doesn't show anything else. Normally
> the FreeBSD boot messages would appear. Does anyone
> else also see this? Any idea how to get some
> debug output out of the Raspberry Pi?


Try disabling INVARIANTS options in the kernel. It seems
new code in uma_dbg performs atomic ops on the 
allocated memory and if memory has been remapped as 
non-cached it causes exception.