Re: [seL4] How are capabilities assigned