[seL4] Re: Creating process from not root process

Hi Seoyeon,

Sorry for bringing this old post up, but could anyone let me know the answer of this post? I’m quite new to seL4 and I’ve been following tutorials and modifying it, and I have the exact same question as this post. Basically, how can I create a process from non-root process?

The dynamic-3 tutorial [1] walks you through creating a "process" (we don't share the notion of Unix processes) using our helper libraries. It is possible to create a "process" without the libraries but it is a lot more involved and is pretty cumbersome. Hope this helps, Damon