How is the sel4test-driver process created?

14 Oct 2014

      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

Yuxin Ren

tags

participants (4)