Re: [seL4] sel4 on Hikey board