Re: [seL4] malloc and SCHED0004