That is from 2012: in 2012 Raspberry Pi was a closed platform, not at all recommended: https://wiki.debian.org/RaspberryPi https://wiki.debian.org/RaspberryPi h

That is from 2012: in 2012 Raspberry Pi was a closed platform, not at all recommended: https://wiki.debian.org/RaspberryPi https://wiki.debian.org/RaspberryPi http://whitequark.org/blog/2012/09/25/why-raspberry-pi-is-unsuitable-for-education/ http://whitequark.org/blog/2012/09/25/why-raspberry-pi-is-un... Things have only started to change recently when BroadCom released some documentation: https://libv.livejournal.com/26434.html https://libv.livejournal.com/26434.html There is some support for OpenBSD on ARM, for hardware that is more open than the Raspberry Pi: http://www.openbsd.org/armv7.html http://www.openbsd.org/armv7.html