Re: [seL4] SMC in seL4