Re: [seL4] Camkes and GPIO