@inproceedings{Heiser_Leslie_10,
    address          = {New Delhi, India},
    author           = {Heiser, Gernot and Leslie, Ben},
    booktitle        = {Asia-Pacific Workshop on Systems (APSys)},
    keywords         = {microkernels, hypervisors, virtual machines, operating systems, trusted computing base},
    month            = aug,
    pages            = {19--24},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3745.pdf},
    title            = {The {OKL4} Microvisor: Convergence Point of Microkernels and Hypervisors},
    year             = {2010}
  }