@misc{Heiser_20:sel4wp,
    author           = {Gernot Heiser},
    date             = {2020-05-25},
    howpublished     = {seL4 Foundation Whitepaper},
    keywords         = {seL4, microkernel, performance},
    month            = may,
    paperurl         = {https://sel4.systems/About/seL4-whitepaper.pdf},
    title            = {The {seL4} Microkernel -- An Introduction},
    url              = {https://trustworthy.systems/publications/papers/Heiser_20:sel4wp.abstract.pml},
    version          = {Revision 1.0},
    year             = {2020}
  }