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
