Hi all,

 

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?

·         Do does my program with main() also need to specify a root task, or is that part of the minimal environment?

·         Is there a specific recommended location for the sel4runtime repo?

 

Thanks!

 

Baltazar

Notice: This email and any attachments may contain proprietary (Draper non-public) and/or export-controlled information of Draper. If you are not the intended recipient of this email, please immediately notify the sender by replying to this email and immediately destroy all copies of this email.