A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kevin Elphinstone' in GoogleThis author has not been identified. Look up 'Amirreza Zarrabi' in GoogleThis author has not been identified. Look up 'Kent Mcleod' in GoogleThis author has not been identified. Look up 'Gernot Heiser' in Google

runs on WebDSL