Hi Baptiste,
Aside from running a Linux guest, we do not currently have a native shell. The x86 VM should work though. Cheers Anna. ________________________________ From: Devel <[email protected]> on behalf of Baptiste Lepers <[email protected]> Sent: Thursday, 27 September 2018 2:28 PM To: [email protected] 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.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
