Hi Baltazar,
Another (less exclusively RISC-V related, though I am targeting RISC-V still) question - I've been trying to figure out the sel4runtime repo, but I'm a bit confused on how to set it up. Specifically:
- How much of a "minimal seL4 environment" do I need to initialize first?
The sel4runtime is a minimal C runtime specifically for seL4. It handles the initialization of all applications (root servers and System-V ELF processes) on an seL4 system.
A minimal project will require a repo project containing seL4, seL4_tools, musl, and sel4runtime (along with a root task application).
sel4runtime is then used as the C runtime for all applications built in the project and is responsible for providing the entrypoints and calling into the main function.
- Do does my program with main() also need to specify a root task, or is that part of the minimal environment?
You will still need to provide a root task application. sel4runtime is only responsible for handling process startup for C applications.
- Is there a specific recommended location for the sel4runtime repo?
The sel4runtime repo is usually placed in the projects directory. You can see sel4-tutorials-manifest[^1] repository on github for an example of how the dependecies are laid out.
[^1]: https://github.com/SEL4PROJ/sel4-tutorials-manifest
Cheers, Curtis Millar
Systems Engineer, Trustworthy Systems, CSIRO's Data61
curtis.millar@data61.csiro.au
Data61, CSIRO Level 3, K17 Building UNSW Gate 14, Barker St Kensington NSW 2033 Australia