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 <[email protected]> on behalf of Dd Nirvana <[email protected]> Sent: Thursday, 16 August 2018 12:32 PM To: [email protected] 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 [email protected]:59 Failed to allocate object of size 4096, error 1 [email protected]:330 Failed to allocate page number: 0 out of 1 [email protected]:103 ERROR: failed to allocate frame by loadee vka: 10 [email protected]:519 Failed to load segments [email protected]: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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
