Kevin Elphinstone, Amirreza Zarrabi, Kent Mcleod, Gernot Heiser. A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4. In Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017. ACM, 2017. [doi]
Abstract is missing.