[seL4] Re: Standalone experiments