@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://ts.data61.csiro.au/}}, 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}}, year = {1999} }