@misc{Parker_22:sel4s,
    author           = {Lucy Parker},
    location         = {Munich, DE},
    month            = oct,
    note             = {Talk at the 4th {seL4} {Summit}},
    title            = {The {seL4} Device Driver Framework},
    url              = {https://trustworthy.systems/publications/papers/Parker_22:sel4s.abstract.pml},
    video            = {https://youtu.be/watch?v=INBEKSkAiTA},
    year             = {2022}
  }