Re: [seL4] Memory allocation & threads