>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 <http://cs9242.web.cse.unsw.edu.au/>."
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:// [email protected]//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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
