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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
