@mastersthesis{Wiggins:be,
    address          = {Sydney, Australia},
    author           = {Adam Wiggins},
    keywords         = {ARM, StrongARM, SA-1100, domains, microkernel design, microkernel implementation, pleb},
    month            = nov,
    note             = {Available from publications page at \url{http://trustworthy.systems/}},
    paperUrl         = {https://trustworthy.systems/publications/theses_public/99/Wiggins%3Abe.ps.gz},
    school           = {School of Computer Science and Engineering},
    title            = {The Design and Implementation of the {L4} Microkernel on the {StrongARM} {SA-1100}},
    type             = {{BE} Thesis},
    year             = {1999}
  }