Operating Systems @ UNSW Introduction COMP3231[removed]

First Page		Document Content
Date: 2015-03-03 15:44:05 Gernot Heiser L4 microkernel family John Lions Open Kernel Labs Berkeley Software Distribution Unix Microkernel Operating system System software Computer architecture Software		Operating Systems @ UNSW Introduction COMP3231[removed] Add to Reading List Source URL: cgi.cse.unsw.edu.au Download Document from Source Website File Size: 800,41 KB Share Document on Facebook

	White Paper∗ Protecting e-Government Against Attacks Gernot Heiser University of New South Wales Sydney, Australia DocID: 1qno4 - View Document
	From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone, Gernot Heiser NICTA and University of New South Wales DocID: 1md3J - View Document
	APSYS2011 STEERING COMMITTEE • Gernot Heiser (NICTA, UNSW, Open Kernel Labs) • Doug Terry (MSR, USA) DocID: 1kS0Y - View Document
	Linux 2.6 Performance in the Corporate Data Center Open Source Development Labs (OSDL) Mary Edie Meredith, Data Center Linux TWG Chair IBM Linux Technology Center (LTC) Duc Vianney, PhD DocID: 1aSuG - View Document
	ISSUE 27 \| SEPTEMBERNICTANews INSIDE Board DocID: 15njP - View Document