Trustworthy Systems

What's new in the world of seL4?

Authors

Gernot Heiser

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

Published:

Talk at FOSDEM'19
Brussels

Abstract

This talk will cover the developments of and around seL4 over the past 4 years, covering new and improved functionality for supporting mixed-criticality real-time systems, status and future of its formal verification, an overview of past and future deployments, and an assessment of the state of seL4's open-source ecosystem.

BibTeX Entry

  @misc{Heiser_19:fosdem,
    author           = {Gernot Heiser},
    howpublished     = {Talk at FOSDEM'19, Brussels},
    month            = feb,
    novideo          = {https://video.fosdem.org/2019/AW1.121/world_of_sel4.mp4},
    title            = {What's new in the world of {seL4}?},
    url              = {https://trustworthy.systems/publications/papers/Heiser_19:fosdem.abstract.pml},
    year             = {2019}
  }

Download