Trustworthy Systems

Trustworthy Systems R&D update

Authors

Gernot Heiser

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Published:

Talk at the 7th seL4 Summit

Abstract

This talk will discuss recent and ongoing seL4-related research and development at UNSW's Trustworthy Systems group. It will provide a general overview and then focus on the system side of our current work, to be complemented by Thomas Sewell's and Junming Zhao's talks that will focus on verification activities.

I will specifically cover or work on maturing the seL4 device driver framework (sDDF), including further performance improvements and new device classes, and progress on LionsOS and what we have learnt about inherent performance limitations (or lack thereof) of modular microkernel-based OSes.

BibTeX Entry

  @misc{Heiser_25:sel4s,
    author           = {Gernot Heiser},
    howpublished     = {Talk at the 7th {seL4} {Summit}},
    location         = {Prague, CZ},
    month            = sep,
    title            = {{Trustworthy Systems} {R\&D} Update},
    url              = {https://trustworthy.systems/publications/papers/Heiser_25:sel4s.abstract.pml},
    video            = {https://youtu.be/watch?v=wP48V34lDhk},
    year             = {2025}
  }

Download