Hi Baptiste,
When you run the repo init command, is the 404 command similar to the following?
Get https://github.com/seL4/camkes-vm-manifest.git % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 Not Found Server does not provide clone.bundle; ignoring.
If so, this shouldn't be an issue. The 404 error is informing that the server does not clone.bundles. You should be able to proceed with a "repo sync".
If not the error, would you be able to share 404 message?
Kind Regards,
Adam
________________________________ From: Devel devel-bounces@sel4.systems on behalf of Baptiste Lepers baptiste.lepers@gmail.com Sent: Thursday, 27 September 2018 2:28 PM To: devel@sel4.systems Subject: [seL4] Does seL4 provide an initrd with a shell?
I have been following the instructions "Fetching, Configuring and Building seL4test" on this page https://docs.sel4.systems/GettingStarted.html. Everything seems to work, but the initrd provided only runs a bunch of tests and then exits. Is there another project that provides a shell or a way for me to launch my own programs?
I have tried to follow the instructions on these pages https://docs.sel4.systems/Hardware/Qemu/ and https://docs.sel4.systems/CAmkESVM but the repo init command fails (404).
Thanks, Baptiste.