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:// 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
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
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
Hi Ted,
This really helps, thanks a lot! On Tue, Mar 24, 2015 at 6:08 PM, Ted Cooper theod@pdx.edu wrote:
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
"Hesham" == Hesham ALMatary heshamelmatary@gmail.com writes:
Hesham> Hi Ted, This really helps, thanks a lot! On Tue, Mar 24, 2015 Hesham> at 6:08 PM, Ted Cooper theod@pdx.edu wrote:
The repository appears to be posted on the course site at
http://www.cse.unsw.edu.au/~cs9242/current/project/files/aos-2014
I think that's just a repository. As it's on the CSE site, I don't think the git daemon has been set up to serve git clone from it.
I suggest you use the tarballs on the same page.
-- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Thanks, I will give that a try.
On Tue, Mar 24, 2015 at 4:43 PM, Peter Chubb peter.chubb@nicta.com.au wrote:
"Hesham" == Hesham ALMatary heshamelmatary@gmail.com writes:
Hesham> Hi Ted, This really helps, thanks a lot! On Tue, Mar 24, 2015 Hesham> at 6:08 PM, Ted Cooper theod@pdx.edu wrote:
The repository appears to be posted on the course site at
http://www.cse.unsw.edu.au/~cs9242/current/project/files/aos-2014
I think that's just a repository. As it's on the CSE site, I don't think the git daemon has been set up to serve git clone from it.
I suggest you use the tarballs on the same page.
-- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
-
Fred -
Hesham ALMatary -
Peter Chubb -
Ted Cooper