What's new in the world of seL4?
Authors
CSIRO's Data61, Australia
UNSW, Australia
Published:
Talk at FOSDEM'19Brussels
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}, title = {What's new in the world of {seL4}?}, howpublished = {Talk at FOSDEM'19, Brussels} }