Hi Dong, Are you using ia32 or x64? x64 has a lot more memory available than ia32 due to the way untyped memory management works. How big is the image you are trying to load? Can you please provide the full sel4test output so I can help diagnose the issue. Cheers, Anna. ________________________________ From: Devel on behalf of Dd Nirvana Sent: Thursday, 16 August 2018 12:32 PM To: devel@sel4.systems Subject: [seL4] sel4test driver can not load big elf file 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