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 <heshamelmatary@gmail.com> wrote:
On Tue, Mar 17, 2015 at 5:56 PM, Fred <phreed@gmail.com> 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://YOURLOGIN@login.cse.unsw.edu.au//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
> Devel@sel4.systems
> https://sel4.systems/lists/listinfo/devel
>



--
Hesham

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel