@mastersthesis{Lee:be, address = {Sydney, Australia}, author = {Geoffrey Lee}, month = nov, paperUrl = {https://trustworthy.systems/publications/theses_public/05/Lee%3Abe.pdf}, school = {School of Computer Science and Engineering}, title = {{I/O} Kit Drivers for {L4}}, year = {2005} }