Minix, the open-source operating system built around a unique micro-kernel design that pre-dates Linux, is up to version 3.2 with many changes.
Among the features of Minix 3.2.0 is using LLVM/Clang as the default compiler (GCC remains available), the NetBSD C library, ELF as the default executable format, an a-synchronous multi-threaded virtual file-system, experimental SMP support, FUSE support, the NetBSD boot-loader, ProcFS support, debugging improvements (GDB and core dump support), improved reliability, and many other improvements.
Additional details on Minix 3.2.0 or to download this UNIX-like OS with a micro-kernel, visit Minix3.org
Now are you interested in some Minix 3.2 benchmarks? Let us know in the forums.