The Mungi Single-Address-Space Operating System. - Gernot Heiser; Kevin Elphinstone; Jerry Vochteloo; Stephen Russell 004; Jochen Liedtke (Softw. Pract. Exp., 1998)