Hi Rinat, 2. You are correct. The root process should copy the relevant caps to the cspace of process 1 and/or process 2. Note that capability space and memory space are two different concepts. The problem is not that they don't share a memory space, the problem is that they don't share a capability space.
1. Generally, the root task is responsible for managing and distributing all capabilities. However, it is possible to instantiate an allocman for each process. - AlexK On Tue, 2017-03-28 at 01:04 +0300, Rinat Dobrokhotov wrote: > Hi all, > > 1. Could you check if my thoughts are right? > > The allocation manager is global object and there is only one instance > for whole system. If I need in creation kernel objects I should create > _one_ allocman above some array of memory. > > 2. I have the first question because I work with processes now. In the > root process I create two different processes based on the elf image via > allocman. Then I try to manage (suspend, change priority, etc.) process1 > by process2. But I can't get process1 object from process2 because both > of them belong to root process and belong to root process' memory space. > As I understand it, I should copy cap which belongs to process1 to > process2, then I will be able to manage them. Could you tell me if I am > right? > _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
