[ACM Press the 8th Asia-Pacific Workshop - Mumbai, India (2017.09.02-2017.09.02)] Proceedings of the 8th Asia-Pacific Workshop on Systems - APSys '17 - A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4
Elphinstone, Kevin, Zarrabi, Amirreza, Mcleod, Kent, Heiser, GernotYear:
2017
Language:
english
DOI:
10.1145/3124680.3124727
File:
PDF, 252 KB
english, 2017