Pandora

[Guillaume Ballet]

> FreeBSD's makefile have cross support included, just set TARGET=arm and
> TARGET_ARCH=arm for your buildworld/buildkernel.
> If you want to port FreeBSD you should use this instead.
> The only thing you need to modify for your board is kernel and bootcode.
> Userland and compiler toolchain should just work.

They do. Cortex is only supported starting from 4.3.x. Fortunately,
ARMv6 code will work fine on it. I just used a cross-compiler to
create a loader, and the target I used was arm-none-eabi. Thinking
back, even that was probably not necessary.

So I don't have libc-related code, just a loader and some kernel files.