On Fri, Dec 17, 2021 at 1:51 AM Zippy Manaic via Devel
<devel(a)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(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems