@misc{Parker_22:sel4s,
    author           = {Lucy Parker},
    howpublished     = {Talk at the {seL4} 2022 Summit},
    location         = {Munich, Germany},
    month            = oct,
    title            = {The {seL4} Device Driver Framework},
    video            = {https://www.youtube.com/watch?v=INBEKSkAiTA},
    year             = {2022}
  }