L4/L4 microkernel family

From Wikipedia, the free encyclopedia