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
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]
