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