Trustworthy Systems

seL4 overview: Principles, abstractions, use


Gernot Heiser

    School of Computer Science and Engineering
    Sydney 2052, Australia


Invited talk at the seL4 Summit


Gernot will start the day by providing background on seL4 and its philosophy. Specifically he will talk about the principles that drive seL4's design and abstractions. Given the low-level nature of seL4's abstractions and mechanisms, and the deliberate policy-freedom, it is not always clear what constitutes “proper use”. Gernot will highlight some of the do's and don'ts that developers should keep in mind to produce good designs. He will link this back to earlier presentations on user-level frameworks and how they support proper use.

BibTeX Entry

    author           = {Gernot Heiser},
    howpublished     = {Invited talk at the {seL4} Summit},
    location         = {Munich, DE},
    month            = oct,
    title            = {{seL4} Overview: Principles, Abstractions, Use},
    video            = {},
    year             = {2022}