@mastersthesis{McLeod:be,
    address          = {Sydney, Australia},
    author           = {Kent {McLeod}},
    month            = oct,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/16/McLeod%3Abe.pdf},
    school           = {School of Electrical Engineering and Telecommunication},
    title            = {Usermode {OS} Components on {seL4} with Rump Kernels},
    year             = {2016}
  }