Both technologies share a great deal in common, stemming from least-privileged design ... to implement an Operating System (Fig. 1). 1. Here is a diagram of the Microkernel architecture.

OKL4 supports the MMU and the cache architecture of the ARMv6 architecture ... Backed by the largest, independent team of microkernel developers, OK Labs open-source microkernel operating system, OKL4 ...