The University of New South Wales

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,
    howpublished     = {Keynote at the 3rd seL4 Summit},
    month            = nov,
    subtitle         = {aka State of the Union},
    author           = {Gernot Heiser},
    title            = {The {seL4} Report},
    year             = {2020},
    video            = {https://www.youtube.com/watch?v=_2KgrFm2Fz4}
  }

Download