IoL4

Small OS composed of Io programming language atop L4 OS microkernel. Runs IoVM (virtual machine) as single server in kernel level, giving direct hardware access and independence from needing full OS and userland. [Open Source, BSD]