@article{Heiser_EVRL_98,
    author           = {Gernot Heiser and Kevin Elphinstone and Jerry Vochteloo and Stephen Russell and Jochen Liedtke},
    journal          = {Software: Practice and Experience},
    month            = jul,
    number           = {9},
    pages            = {901--928},
    paperurl         = {https://trustworthy.systems/publications/papers/Heiser_EVRL_98.pdf},
    title            = {The {Mungi} Single-Address-Space Operating System},
    volume           = {28},
    year             = {1998}
  }