@inproceedings{Baumann_HADKWK_05,
    address          = {Anaheim, CA, USA},
    author           = {Andrew Baumann and Gernot Heiser and Jonathan Appavoo and Da Silva, Dilma and Orran Krieger and
                        Robert W. Wisniewski and Jeremy Kerr},
    booktitle        = {USENIX},
    month            = apr,
    pages            = {279--291},
    paperurl         = {https://trustworthy.systems/publications/papers/Baumann_HADKWK_05.pdf},
    title            = {Providing Dynamic Update in an Operating System},
    year             = {2005}
  }