Re: [seL4] Allocation manager and processes