@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}?}, year = {2019} }