[seL4] Re: Questions about Memory Management in seL4