@inproceedings{Elphinstone_ZMH_17, address = {India}, author = {Elphinstone, Kevin and Zarraby, Amirreza and McLeod, Kent and Heiser, Gernot}, booktitle = {Asia-Pacific Workshop on Systems (APSys)}, date = {2017-9-3}, doi = {https://doi.org/10.1145/3124680.3124727}, month = sep, numpages = {8 p.}, paperurl = {https://trustworthy.systems/publications/full_text/Elphinstone_ZMH_17.pdf}, publisher = {ACM}, title = {{A} Performance Evaluation of Rump Kernels as a Multi-server {OS} Building Block on {seL4}}, year = {2017} }