From the main page.

"If you would like to learn how to build a system on seL4, you might want to follow the lectures and especially the seL4-based project of UNSW's Advanced Operating Systems course."


Request:
Is it possible to obtain access to the recorded lectures as well as the notes?
Also assignment templates appear to be only available to enrolled students.
I understand that publicly posting solutions to the assignments may be a problem.
e.g.
git clone ssh://YOURLOGIN@login.cse.unsw.edu.au//home/cs9242/public_html/current/project/files/aos-2014


Background:
Our project is in the internally funded phase of an open-source platform
for medical simulation and training (similar to SimMan).
The system consists of intercommunicating modules
where each module runs a minimal OS.

Thanks