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 <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
