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
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
