Trustworthy Systems

The seL4 report

Authors

Gernot Heiser

The seL4 Foundation

Published:

Keynote at the 3rd seL4 Summit

Abstract

An update on the state of the seL4 ecosystem from the chairman of the seL4 Foundation.

BibTeX Entry

  @misc{Heiser_20:sel4sotu,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at the 3rd seL4 Summit},
    month            = nov,
    subtitle         = {aka State of the Union},
    title            = {The {seL4} Report},
    url              = {https://trustworthy.systems/publications/papers/Heiser_20:sel4sotu.abstract.pml},
    video            = {https://www.youtube.com/watch?v=_2KgrFm2Fz4},
    year             = {2020}
  }

Download