[seL4] Dynamic Loading of application