Skip to main content

What's new in the world of seL4?


Gernot Heiser

CSIRO's Data61, Australia
UNSW, Australia


Talk at FOSDEM'19


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

    howpublished     = {Talk at FOSDEM'19, Brussels},
    month            = feb,
    video            = {},
    author           = {Gernot Heiser},
    title            = {What's new in the world of {seL4}?},
    year             = {2019}