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
