Forget it. They seem to work just fine, but die without any diagnostics.

I wonder if, at 25 quid each, they're a bit substandard. I'm going to buy a couple more just to see if it's a quality control issue.

Aoyama Daisuke has fixed the SD card problems with FreeBSD 11 on the RPI.

I have two RPIs sat there doing nothing, I'm going to leave them just doing the usual overnight jobs and see what happens.

I heard that they'd got FreeBSD running on the Raspberry PI, so I had to have a play. I'm not impressed.

Don't even bother with the -STABLE version, it isn't. Use 11.0 (aka -CURRENT) from the Japanese guy who's all over the forums like a rash right now. I managed to get it to boot OK, but there seem to be some severe problems with the SD card driver (the card is OK, works with XBMC).

The ethernet is slow. Powering anything from the USB port crashes the PI. I think I've wasted over fifty quid buying two of these.