No, it was not open sourced. All they did was release some userland wrappers around their api.
No, this does not make it closer to OpenBSD being ported to this device. Nothing has changed. On 2012 Oct 24 (Wed) at 08:56:29 -0700 (-0700), Gene wrote: :http://www.raspberrypi.org/archives/2221 : :Are we any closer to seeing OpenBSD ported to this device? : :-Gene : -- Real computer scientists don't program in assembler. They don't write in anything less portable than a number two pencil.