Re: [seL4] GPIO on Sabre imx6