Skip to main content

What's new in the world of seL4?

Authors

Gernot Heiser

Data61, CSIRO, Australia
UNSW, 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},
    month            = feb,
    video            = {https://mirror.as35701.net/video.fosdem.org/2019/AW1.121/world_of_sel4.mp4},
    year             = {2019},
    howpublished     = {Talk at FOSDEM'19, Brussels},
    title            = {What's new in the world of {seL4}?}
  }