School of Computer Science & Engineering
University of New South Wales
Advanced Operating Systems
COMP9242 2002/S2
Next: What to run first?
Up: 01-l4
Previous: Device drivers
``OS'' is just a user-level L4 task.
==> OS can be interrupted & unscheduled.
==> Need concurrency control on all OS data structures!
Gernot Heiser
2002-08-07