If someone is considering doing openbsd ports for raspberry pi devices, they might want to look at freebsd as a starting point, instead of linux.
But it doesn't look that great, lots of undocumented crap with pi: http://lists.freebsd.org/pipermail/freebsd-hackers/2011-November/036754.html I don't know what happened ultimately with freebsd and raspberry pi, that is an old post from 2011 so it could be more progress or not.
