Raspberry Pi EABI test image

[Andrew Turner]

I have made a test image built from the EABI branch for the Raspberry
Pi. It is available from:
http://people.freebsd.org/~andrew/rpi/rpi-eabi-r244581.img.xz

I would appreciate it if people with a Raspberry Pi could test this as
I am likely to start merging EABI support into head early next year. As
far as I can tell everything should work with the exception of gdb
which is known to be broken.

To load the image you need to uncompress the file and run a command
similar to:
dd if=rpi-eabi-r244581.img of=/dev/mmcsd0

Changing the of= device as required for your system. The SD card should
boot into FreeBSD with the console on the HDMI port and a login prompt
on the UART.

Andrew