Hi,
I kept experimenting with Genode/seL4 and I ran into the following issue that I can't solve. I have no more problems compiling Genode with seL4 kernel, but my build always ends with a lot of "undefined reference" errors:
Ex:
genode build completed
using '
ld-sel4.lib.so' as '
ld.lib.so'
using 'sel4/core.o' as 'core.o'
core/sel4/core.o:
In function `error<char const (&)[53], char const (&)[18],
void*&, char const (&)[35], void*, char const (&)[2]>':
../genode-17.02/repos/base/
include/base/log.h:131: undefined reference to `Genode::Log::log()'
core/sel4/core.o:
In function `warning<long unsigned int&, char const (&)[21],
char const*, char const (&)[31]>':
../genode-17.02/repos/base/include/base/log.h:119: undefined reference to `Genode::Log::log()'
core/sel4/core.o: In function `error<char const (&)[19], Genode::Avl_node_base*&, char const (&)[22]>':
../genode-17.02/repos/base/include/base/log.h:131: undefined reference to `Genode::Log::log()'
.......
It looks like the linking between Genode & seL4 fails at some point. I think that this is caused by /<genode-dir>/tool/run/boot_dir/sel4 file, so I'm trying to change it so that it looks more like run/boot_dir/hw