@article{Heiser_EVRL_98, month = jul, journal = {Software: Practice and Experience}, volume = {28}, number = {9}, author = {Gernot Heiser and Kevin Elphinstone and Jerry Vochteloo and Stephen Russell and Jochen Liedtke}, year = {1998}, title = {The {Mungi} Single-Address-Space Operating System}, pages = {901--928}, paperurl = {https://trustworthy.systems/publications/papers/Heiser_EVRL_98.ps.gz} }