Re: [seL4] Unable to setup Camkes VM tutorial

Hi Chris,

...

...

...

...

"Chris" == Chris Koziarz writes:

Chris> fatal: error [Errno -3] Temporary failure in name resolution This looks like a temporary problem trying to download the 'repo' tool -- your machine can't convert gerrit.googlesource.com into an IP address (or possibly one of the sites it redirects to). All I can suggest is trying again later. Peter C -- Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61