@inproceedings{Baumann_AWDKH_07,
    address          = {Santa Clara, CA, USA},
    author           = {Andrew Baumann and Jonathan Appavoo and Robert W. Wisniewski and Da Silva, Dilma and Orran Krieger
                        and Gernot Heiser},
    booktitle        = {USENIX},
    month            = jun,
    pages            = {337--350},
    paperurl         = {https://trustworthy.systems/publications/papers/Baumann_AWDKH_07.pdf},
    title            = {Reboots are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly},
    year             = {2007}
  }