Advanced Operating Systems
COMP9242 2012/S2
UNSW
CRICOS Provider
Number: 00098G
Printer-Friendly Version
Administration
-
Notices
-
Course Intro
-
Lecture location/time
-
Lab location/times
-
Statistics
(1997–2012)
-
Survey Results
(1997–2012)
Work
-
Lectures
-
Selected Papers
-
Project Spec
-
Exam
Support
-
Forums
-
Wiki
Resources
-
Project Resources
-
Slug Lab
-
seL4 Debugging Guide
-
Developing on a Mac
-
Developing on Linux
-
Developing on Windows
-
SOS source browser
Documentation
-
seL4 reference manual
-
libsel4cspace documentation
-
IXP42X hardware manual
-
NSLU2-Linux HomePage
-
Intel IXP400 Software
-
ARMv5 reference manual
Related Info
-
AOS Alumni Prize
-
OS Hall of Fame
History
-
2011
-
2010
-
2009
-
2008
-
2007
-
2006
-
2005
-
2004
-
2003
-
2002
-
2000
-
1999
-
1998
Staff
-
Gernot Heiser
-
Kevin Elphinstone
(LiC)
- Guest Lecturers (TBA)
Stureps
-
Student Reps
Project: Demonstration and Consultation Times
Project Demonstrations
Every Friday from 13:45 to 14:45 in the ASysT Lab. Demonstrator is Simon.
Project Consultations
Mon, 16:00-17:00, Alex
Wed, 16:00-17:00, Harvey
All in the ASysT Lab.
Last modified: 16 Aug 2002.