On Wed, Dec 15, 2021 at 6:39 PM Zippy Manaic via Devel <devel@sel4.systems> wrote:
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?
sel4test appears to be currently passing for imx8mm-evk on both aarch64 and aarch32: https://github.com/seL4/seL4/runs/4496119700?check_suite_focus=true Version 12.1.0 of the kernel and user libraries would have also been passing the tests on hardware at the time of release. This was before the CI was run with GitHub actions so there isn't a public URL for the results. Are you able to run the tests with a recently updated checkout using the commands listed here?: https://docs.sel4.systems/Hardware/imx8mm.html
Cheers, Zippy _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems