Re: [seL4] Question about MCS branch