Hi guys, 

When I try to run some application tests(written by myself) on sel4test (x86-qemu environment), I found the following errors.

Starting test suite sel4test
Starting test 0: Test that there are tests
Starting test 1: APPTEST1
vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 4096, error 1

new_pages_at_vaddr@vspace.c:330 Failed to allocate page number: 0 out of 1
load_segment@elf.c:103 ERROR: failed to allocate frame by loadee vka: 10
sel4utils_elf_load_record_regions@elf.c:519 Failed to load segments
sel4utils_configure_process_custom@process.c:596 Failed to load elf file

It seems seL4test's driver can not load tests with very large size? 

I also tried to change the "DRIVER_UNTYPED_MEMORY" size from "(1 << 25)" to "(1 << 27)", but it also failed. 

Any advices about the issue?


Dong