@misc{Heiser_22:sel4s-o,
    author           = {Gernot Heiser},
    howpublished     = {Invited talk at the {seL4} Summit},
    location         = {Munich, DE},
    month            = oct,
    title            = {{seL4} Overview: Principles, Abstractions, Use},
    url              = {https://trustworthy.systems/publications/papers/Heiser_22:sel4s-o.abstract.pml},
    video            = {https://youtu.be/xszOcZnR_lg},
    year             = {2022}
  }