Follow
Kent Mcleod
Kent Mcleod
Data61 CSIRO
Verified email at data61.csiro.au
Title
Cited by
Cited by
Year
Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time
A Lyons, K McLeod, H Almatary, G Heiser
Proceedings of the Thirteenth EuroSys Conference, 26, 2018
452018
A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4
K Elphinstone, A Zarrabi, K Mcleod, G Heiser
Proceedings of the 8th Asia-Pacific Workshop on Systems, 11, 2017
102017
Model-driven development for the seL4 microkernel using the HAMR framework
J Belt, J Hatcliff, J Shackleton, J Carciofini, T Carpenter, E Mercer, ...
Journal of Systems Architecture 134, 102789, 2023
52023
Usermode OS Components On seL4 With Rump Kernels
K McLeod
22016
The system can't perform the operation now. Try again later.
Articles 1–4