Re: [seL4] Getting Started

Thanks, I will give that a try. On Tue, Mar 24, 2015 at 4:43 PM, Peter Chubb wrote:

...

...

...

...

...

"Hesham" == Hesham ALMatary writes:

Hesham> Hi Ted, This really helps, thanks a lot! On Tue, Mar 24, 2015 Hesham> at 6:08 PM, Ted Cooper 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