The repository appears to be posted on the course site at http://www.cse.unsw.edu.au/~cs9242/current/project/files/aos-2014
I don't know why, but git clone http://www.cse.unsw.edu.au/~cs9242/current/project/files/aos-2014 doesn't work for me, even though when I download the files and do a local checkout it works fine: wget -nH --cut-dirs=5 -P aos-2014.git -r --no-parent -R 'index.html*' --reject-regex '\?.*' http://www.cse.unsw.edu.au/~cs9242/current/project/files/aos-2014/ git clone aos-2014.git There's also a tarball with an older version of the _bare repository_ at http://www.cse.unsw.edu.au/~cs9242/current/project/files/aos-2014-repo.tgz Hope this helps, Ted On Tue, Mar 17, 2015 at 11:06 AM, Hesham ALMatary <[email protected]> wrote: > On Tue, Mar 17, 2015 at 5:56 PM, Fred <[email protected]> wrote: > > 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:// > [email protected]//home/cs9242/public_html/current/project/files/aos-2014 > > > +1 > > > > 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 > > > > > > -- > Hesham > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
