@article{Heiser_Elphinstone_16,
    author           = {Heiser, Gernot and Elphinstone, Kevin},
    doi              = {10.1145/2893177},
    journal          = {ACM Transactions on Computer Systems},
    month            = apr,
    number           = {1},
    pages            = {1:1-1:29},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8988.pdf},
    title            = {L4 Microkernels: The Lessons from 20 Years of Research and Deployment},
    volume           = {34},
    year             = {2016}
  }