Re: [seL4] some question about mcs