@manual{Heiser:IL4,
    address          = {Sydney, Australia},
    author           = {Gernot Heiser},
    month            = jan,
    oldlabel         = {Heiser:IL4a},
    oldnote          = {Available from \url{http://www.disy.cse.unsw.edu.au/Software/L4}},
    organization     = {School of Computer Science and Engineering},
    paperurl         = {https://trustworthy.systems/publications/papers/Heiser%3AIL4.pdf},
    title            = {Inside {L4/MIPS}: Anatomy of a High-Performance Microkernel},
    year             = {2001}
  }