Actually it seems that RaspberryPI will have a slightly odd bootloader, not the usual uboot, so you must check how to install BSD on the board http://elinux.org/RaspberryPiBoard#BootRom Also here http://elinux.org/RaspberryPiBoardDistributions the BSD os is not cited, but I think the biggest problem could be drivers (especially for the video part), as stated here: http://www.raspberrypi.org/forum/projects-and-collaboration-...