No subject

Adrien de GRAEVE degraeveadrien at ...9...
Wed Oct 21 22:24:33 CEST 2015

Hi everyone,

I tried to make compile SEL4 + GENODE.
However, I must admit that this is a fail from my side.

The demo linux is compiling fine, but regarding sel4 I cannot make it work
due to standard lib header missing.

To make it happen, I simply followed the tutorial from Norman (step 1).
I managed to make things work until make kernel command. After that I
discovered that it was not executing the right file (there is one
already delivered in latest sources), It compiles fine if I adapt a little
Then the issue comes when trying to test the make run/test that is failing
differently than what is described in the tutorial. (In fact, it is
supposed to work in the tutorial)

It may be for sure a simple issue, but I don't really understand why I have
this issue while compiling test and not the kernel...
The issue is the following:
error: no include path in which to search for stdint.h (and same for

Do you think you could help me to figure out this issue, and maybe document
it in your web page ?

Here is the trace below (I have a Ubuntu 14.04 LTS & x64 installation)
*adg at ...363...:~/dev/genode/genode/repos/base-sel4$ make run/test
*test -f "/home/adg/dev/genode/genode/repos/base-sel4/run/" ||
(echo "Error: No run script for test"; exit -1)*
*~/dev/genode/genode/tool/run/run --genode-dir ~/dev/genode/genode \*
*                                      --name test \*
*                                      --specs "sel4 x86_32 x86 32bit" \*
*                                      --repositories
/home/adg/dev/genode/genode/repos/base" \*
*                                      --cross-dev-prefix
"/usr/local/genode-gcc/bin/genode-x86-" \*
*                                      --qemu-args "" \*
*                                       \*
*                                      --include
*including /home/adg/dev/genode/genode/repos/base-sel4/run/*
*building targets:  test/sel4 *
*spawn make test/sel4*
*make[1]: Entering directory `/home/adg/dev/genode/genode/repos/base-sel4'*
*checking library dependencies...*
*  Library platform*
*  Library syscall*
*  Library core_printf*
*    COMPILE  core_printf.o*
*/usr/local/genode-gcc/bin/genode-x86-g++  -ffunction-sections
-fno-strict-aliasing -nostdinc -g -march=i686 -m32 -O2 -MMD -MP -MT
'core_printf.o core_printf.d' -Wall   -std=gnu++11 -I.
-I/usr/local/genode-gcc/bin/../lib/gcc/x86_64-pc-elf/4.9.2/include -c
/home/adg/dev/genode/genode/repos/base/src/base/console/ -o
*In file included from
*                 from
*                 from
*                 from
*                 from
error: no include path in which to search for stdint.h*
* # include_next <stdint.h>*
*                          ^*
*In file included from
*                 from
*                 from
*                 from
fatal error: assert.h: No such file or directory*
* #include <assert.h>*
*                    ^*
*compilation terminated.*
*make[3]: *** [core_printf.o] Error 1*
*make[2]: *** [core_printf.lib] Error 2*
*make[1]: *** [gen_deps_and_build_targets] Error 2*
*make[1]: Leaving directory `/home/adg/dev/genode/genode/repos/base-sel4'*
*Error: Genode build failed*
*make: *** [run/test] Error 252*

Thanks a lot in advance.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list