Andrew Tanenbaum and his crew have released a significant update to Minix. The Minix 3.3.0 release comes with x86 and ARM support, is mostly compatible with the NetBSD user-land while its kernel is less than 13k lines of code, and it's BSD-licensed...
September 16, 2014
Minix 3.3 Released With Cortex-A8 ARM Support, NetBSD Userland Compatibility
Read more at Phoronix