I've discovered sel4test source code. As I understood, now I can find
all answers to my questions, thanks!
On 31.03.2017 15:29, [email protected] wrote:
Hi all,
I try to create process (process2) from not root process (process1).
Process1 has own cspace and vspace (fields 'create_cspace' and
'create_vspace' are set to true in process1' config). I try to create
process2 like in the root process (4-th example in sel4 tutorials), but
I can't obtain bootinfo to create allocman. As I understood it, this
info available only from root process. Also I found function to create
allocman via bootstrap function (like in example_bootstrap.c), but I
also need to get process1' vspace and cspace to attach them to allocman.
I do not understand, how I can get the needed info. Could you tell me
how I can do it?
Best regards,
Rinat Dobrokhotov
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
--
Best regards,
Rinat Dobrokhotov
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
