The latest open-source version 2.1.1 of the OKL4 microkernel operating system, mirrored from https://sourceforge.net/projects/emboslab/ - View it on GitHub