Problems with Head on RaspberryPi

[David Cornejo]

On Wed, Jun 26, 2013 at 7: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?
>
> Best regards
> Michael
>

In addition I saw some devices couldn't be found - I am using a 256MB Model
B, which I am thinking might be relevant

dave c