On Fri, Dec 17, 2021 at 1:51 AM Zippy Manaic via Devel <devel@sel4.systems> wrote:
sorry premature send. The above was the release build. This was the debug version from this build artefact - https://github.com/seL4/seL4/suites/4628817643/artifacts/125376044
I downloaded and ran the debug image (IMX8MM_EVK_debug_gcc_64-images.tar.gz) on my own board (a different board than what the CI runs on) and it passes the tests 3/3 times. Are you booting via uboot? What boot mechansim are you using? I use fastboot, and the CI uses network boot with TFTP.
seL4 Test =========
vka_alloc_object_at_maybe_dev@object.h:57 Failed to allocate object of size 2147483648, error 1 vka_alloc_object_at_maybe_dev@object.h:57 Failed to allocate object of size 1073741824, error 1 vka_alloc_object_at_maybe_dev@object.h:57 Failed to allocate object of size 536870912, error 1 vka_alloc_object_at_maybe_dev@object.h:57 Failed to allocate object of size 268435456, error 1 vka_alloc_object_at_maybe_dev@object.h:57 Failed to allocate object of size 134217728, error 1 vka_alloc_object_at_maybe_dev@object.h:57 Failed to allocate object of size 67108864, error 1 vka_alloc_object_at_maybe_dev@object.h:57 Failed to allocate object of size 33554432, error 1 halting... Kernel entry via Syscall, number: 1, Call Cap type: 2, Invocation tag: 1 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems