ARM boot process

[Andre Oppermann]

I'm new to the embedded system world and have got some Atmel
at91rm9200 eval boards I'm playing with.  Most of them came
with Linux and some boot loader to it.

The supplied boot loaders can't load a FreeBSD arm kernel and
complain about wrong magic.

For the at91rm9200 a number of boot loaders are in boot/arm/
but so far I haven't figured out which one to use.  Eventually
I'd like to have it boot from the SD card.

Any help appreciated.

-- 
Andre