HI Indan, This is the change I made to get sel4test to even start running when build for AARCH64 is diff --git a/src/plat/imx8m-evk/config.cmake b/src/plat/imx8m-evk/config.cmake index a697c020d..5ee249cbb 100644 --- a/src/plat/imx8m-evk/config.cmake +++ b/src/plat/imx8m-evk/config.cmake @@ -18,6 +18,7 @@ if(KernelPlatformImx8mq-evk OR KernelPlatformImx8mm-evk) fallback_declare_seL4_arch_default(aarch64) endif() + set(KernelAArch64SErrorIgnore ON) set(KernelArmCortexA53 ON) set(KernelArchArmV8a ON) set(KernelArmGicV3 ON) The problem is that the test does not run to completion and I don't see the "All is well in the universe" statement. If I rebuild for AARCH32 then it works fine. Should sel4test for imx8mm-evk work for AARCH64? Cheers, Zippy