Dave, Yes, the README.md is wrong, just use http to clone the repository: repo init -u https://github.com/seL4/refos-manifest.git -b master Regards, Fabrizio On Thu, Sep 13, 2018 at 3:56 PM Dave Richards wrote:

I am in the process of reading the Getting Started documentation and building a development environment on Debian Linux. I thought RefOS would be the best example project to start with. When I execute the command:

repo init -u ssh://git@github.com/seL4/refos-manifest -b master

I get the response:

Please make sure you have the correct access rights and the repository exists. Permission denied (publickey). fatal: Could not read from remote repository.

Please make sure you have the correct access rights and the repository exists. fatal: cannot obtain manifest ssh://git@github.com/seL4/refos-manifest

Apparently something has changed since the instructions were written.

Dave

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