Advanced Operating Systems
COMP9242 2017/S2
UNSW
CRICOS Provider
Number: 00098G
Printer-Friendly Version
Administration
-
Notices
-
Course Intro
-
Lecture location/time
-
Lab location/times
-
Statistics
(1997–2014)
-
Survey Results
(1997–2015)
Work
-
Lectures
-
Selected Papers
-
Project Spec
-
Project Submissions
-
Exam Prep
-
Exam
Support
-
Piazza Forums
Resources
-
Milestone submission guide
-
Project Resources
-
Sabre Lite Lab
-
seL4 Debugging Guide
-
Developing on a Mac
-
Developing on Linux
-
Developing on Windows
Documentation
-
seL4 reference manual
-
libsel4cspace documentation
-
libnfs documentation
-
i.MX6 hardware manual
-
ARMv7 reference manual
Related Info
-
Alumni AOS Prize
-
OS Hall of Fame
History
-
2016
-
2015
-
2014
-
2013
-
2012
-
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
COMP9242 Lecture Location
The lectures are on Friday at 14:00 (to 17:00) in UNSW Business School 119 (K-E12-119).
Last modified: 20 Jul 2017.