[an error occurred while processing this directive]

COMP9242 Advanced Operating Systems

Lecture Notes

Week 1: L4 Intro
Week 2: L4 API and Use
Week 3: Capabilities and Caches
Week 4: Page tables for large address spaces
Week 5: SMP (& a bit of RT)
Week 6: File systems

Seltzer et all, Usenix '95
Week 7: Microkernels, Mach
Week 8: Microkernel performance

J. Liedtke, SOSP '95 Copyright © ACM 1995

J. Liedtke, CACM 39:9 Copyright © ACM 1996
Week 9: Microkernel implementation

Inside L4
Week 12: Mungi Part 1
Week 13: Mungi Part 2
Week 14: Miscellaneous

L4 source code browser

Note: Hard copies of the L4 Reference and User Manuals were distributed in class during the Week 2 lectures.
See the lecturer if you missed yours.

Note: All lecture notes accessible through this page are subject to Copyright. The notes are published here exclusively for the personal use of students presently enrolled in COMP9242. Any other use requires specific permission by the copyright holders.

COMP9242, School of Computer Science and Engineering, University of New South Wales

This page is maintained by gernot@cse.unsw.edu.au. Last modified: Wednesday, 15-Nov-2000 17:58:31 AEDT [an error occurred while processing this directive] Last modified: Wednesday, 15-Nov-2000 17:58:31 AEDT

Week 8:	Microkernel performance
	J. Liedtke, SOSP '95 Copyright © ACM 1995
	J. Liedtke, CACM 39:9 Copyright © ACM 1996