Re: [seL4] Dynamic Loading of application