Genode on i.MX6Q Sabre Lite

[Yevgeny Lavrov]

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
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...>
wrote:

> Hello Yevgeny
>
> > For now I just want to confirm one thing about core-seL4.mk file. Want
> > to make sure that I understand everything correctly.
> > The files that are included through SRC_CC in core-seL4.mk. 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 core-sel4.mk 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
>
> http://www.genode-labs.com · http://genode.org
>
> 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, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20170509/ae0a8d61/attachment.html>