Raspberry Pi EABI test image

Andrew Turner andrew at fubar.geek.nz
Sun Dec 23 21:38:49 UTC 2012

I have made a test image built from the EABI branch for the Raspberry
Pi. It is available from:

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.


More information about the freebsd-arm mailing list