@misc{Heiser_22:lca,
    author           = {Gernot Heiser},
    howpublished     = {On-line},
    keywords         = {operating systems; seL4},
    month            = jan,
    title            = {The {seL4} {Foundation} -- Growing Through Upheaval},
    url              = {https://trustworthy.systems/publications/papers/Heiser_22:lca.abstract.pml},
    video            = {https://youtu.be/sGfyGhP6M_A},
    year             = {2022}
  }