@article{Heiser_UL_06,
    author           = {Gernot Heiser and Volkmar Uhlig and Joshua LeVasseur},
    journal          = {ACM Operating Systems Review},
    month            = jan,
    number           = {1},
    pages            = {95--99},
    paperurl         = {https://trustworthy.systems/publications/papers/Heiser_UL_06.pdf},
    title            = {Are Virtual-Machine Monitors Microkernels Done Right?},
    volume           = {40},
    year             = {2006}
  }