Re: [seL4] Questions about Kernel Memory Mapping