@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 = {Proceedings of the 2005 USENIX Annual Technical Conference}, 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} }