@misc{Heiser_22:tccoe,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at the Trusted Computing Center of Excellence 2022 Summit},
    location         = {On-line},
    month            = feb,
    title            = {The {seL4} Report: State of the {seL4} Ecosystem},
    url              = {https://trustworthy.systems/publications/papers/Heiser_22:tccoe.abstract.pml},
    video            = {https://youtu.be/WZKDckEdCJ8},
    year             = {2022}
  }