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, rad021993@yandex.ru 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel