Hi, I just built new 4G FreeBSD image for Raspberry Pi (username/password: root/freebsdarm): http://www.snakeorladder.com/bsd-pi-r245446.img.gz This image has tmpfs, swap space, and compiled without DDB, KDB, GDB, etc. Do let me know if you have any issue with this image. I will share FreeBSD Pi image compiled with GCC46 ASAP :-D Regards, Alie T