Trustworthy Systems

seL4 overview: Principles, abstractions, use

Authors

Gernot Heiser

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

Published:

Invited talk at the seL4 Summit

Abstract

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

  @misc{Heiser_22:sel4s-o,
    author           = {Gernot Heiser},
    howpublished     = {Invited talk at the {seL4} Summit},
    location         = {Munich, DE},
    month            = oct,
    title            = {{seL4} Overview: Principles, Abstractions, Use},
    video            = {https://youtu.be/xszOcZnR_lg},
    year             = {2022}
  }

Download