.
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
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 alloc
