Skip to main content

Kent Mcleod

Kent Mcleod
Research Engineer

Research Interests

Kent is mostly concerned with low-level operating systems and drivers.

Contact Details

Email:Kent.Mcleod@data61.csiro.au

More contact information is available at the Contact page.

Photo of Kent Mcleod

Publication List

Projects

Current

Past

Publications

Data61 Papers

2018

Abstract PDF Anna Lyons, Kent Mcleod, Hesham Almatary and Gernot Heiser
Scheduling-context capabilities: A principled, light-weight OS mechanism for managing time
EuroSys Conference, Porto, Portugal, April, 2018

2017

Abstract PDF Kevin Elphinstone, Amirreza Zarrabi, Kent Mcleod and Gernot Heiser
A performance evaluation of rump kernels as a multi-server OS building block on seL4
Asia-Pacific Workshop on Systems (APSys), India, September, 2017

Served by Apache on Linux on seL4.