[seL4] create process in seL4