@inproceedings{Elphinstone_Heiser_13,
    address          = {Farmington, PA, USA},
    author           = {Elphinstone, Kevin and Heiser, Gernot},
    booktitle        = {ACM Symposium on Operating Systems Principles},
    month            = nov,
    pages            = {133--150},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6930.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/6930.pdf},
    title            = {From {L3} to {seL4} -- What Have We Learnt in 20 Years of {L4} Microkernels?},
    video            = {http://dl.acm.org/ft_gateway.cfm?id=2522720&ftid=1418245&dwn=1&CFID=281995453&CFTOKEN=10261052},
    year             = {2013}
  }