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://[email protected]/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://[email protected]/seL4/refos-manifest Apparently something has changed since the instructions were written. Dave _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
