A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4
Kevin J. Elphinstone, Amirreza Zarrabi, Kent Mcleod, Gernot Heiser · 2017
In the paper, we argue that it is worthwhile to revisit building microkernel-based multiserver operating systems, and introduce a multiserver OS architecture. We argue that recent formal verification of microkernels provides a compelling platform for constructing general purpose systems, and that existing systems are not appropriate to take advantage of a formally verified microkernel.