Skip to main content

Kent Mcleod
Research Engineer

Research Interests

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

Contact Details

More contact information is available at the Contact page.

Photo of Kent Mcleod

Publication List

Kent is an operating systems engineer in the Trustworthy Systems group of Data61.

His interests include Systems engineering and how using different operating system architectures can help construct trustworthy applications. He has previously worked on efficient reuse of existing operating system services in alternative operating environments. In the near future he is interested in finding out how better temporal and spatial isolation can be used to build useful mixed-criticality trustworthy systems.

Kent worked at NICTA before it merged CSIRO to form Data61. He accidentally discovered his enjoyment of operating systems while taking the Advanced operating systems course at UNSW where he got the chance to write a POSIX-like operating system in Rust on the seL4 microkernel. He was then inspired to pick an Honours thesis topic with the Trustworthy Systems group about reusing existing operating system components on the seL4 trusted-computing platform.




Data61 Papers


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


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.