@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}
  }