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 <d...@synergy.org> 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://g...@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://g...@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 >
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
