Problems with Head on RaspberryPi

[Michael Tuexen]

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?

Best regards
Michael