Genode on i.MX6Q Sabre Lite

Yevgeny Lavrov ylavrov13 at ...9...
Wed May 10 01:33:26 CEST 2017


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:

genode build completed
using '' as ''
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
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
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

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
Am I on the right track, or is there something else that I'm missing?

Thank you

On Mon, Apr 10, 2017 at 2:49 AM, Norman Feske <norman.feske at ...1...>

> Hello Yevgeny
> > For now I just want to confirm one thing about file. Want
> > to make sure that I understand everything correctly.
> > The files that are included through SRC_CC in Not all of
> > them are present in base-seL4/src/core. So, where does it pull the files
> > that are not in base-sel4/src/core? Do they come from
> > repos/base/src/core directory?
> the files are obtained according to the 'vpath' definitions at the end
> of the file. If you want to inspect the build steps in
> detail, I recommend you to append the "VERBOSE=" argument when invoking
> make. E.g.,
>   make core/sel4 VERBOSE=
> Cheers
> Norman
> --
> Dr.-Ing. Norman Feske
> Genode Labs
> ·
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites,!
> _______________________________________________
> genode-main mailing list
> genode-main at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list