On Fri, Dec 17, 2021 at 1:51 AM Zippy Manaic via Devel <[email protected]> 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 > ========= > > [email protected]:57 Failed to allocate object of size > 2147483648, error 1 > [email protected]:57 Failed to allocate object of size > 1073741824, error 1 > [email protected]:57 Failed to allocate object of size > 536870912, error 1 > [email protected]:57 Failed to allocate object of size > 268435456, error 1 > [email protected]:57 Failed to allocate object of size > 134217728, error 1 > [email protected]:57 Failed to allocate object of size > 67108864, error 1 > [email protected]: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 -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
