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

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), pp. 8 p., India, September, 2017

Served by Apache on Linux on seL4.