Re: [seL4] How is the sel4test-driver process created?

I don't know the answer Yuxiz. But, please share it when yopu get one. Thanks, Fred On Mon, Oct 13, 2014 at 12:39 PM, Yuxin Ren wrote:

Hi All,

Now I am working on sel4test project. I know there is a process for sel4test-driver, and it will spawn new process which does the actual testing. But I want to know how the sel4test-driver process is created, especially how its memory and capability is set up. Could anyone show me the code for those stuff and it is great if give me some explanation or comments about it?

Thank you very much

Yuxin

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel