Re: [seL4] compile error aarch64 platform hikey