@misc{Heiser_CBDP_24,
    author           = {Gernot Heiser and Peter Chubb and Alex Brown and Courtney Darville and Lucy Parker},
    howpublished     = {\url{https://trustworthy.systems/publications/papers/Heiser_CBDP_24.pdf}},
    institution      = {UNSW},
    paperurl         = {https://trustworthy.systems/publications/papers/Heiser_CBDP_24.pdf},
    title            = {{sDDF} Design: Design, Implementation and Evaluation of the {seL4} Device Driver Framework},
    url              = {https://trustworthy.systems/publications/papers/Heiser_CBDP_24.pdf},
    urldate          = {2024-06-14},
    version          = {0.4},
    year             = {2024}
  }