Genode on i.MX6Q Sabre Lite

Norman Feske norman.feske at ...1...
Mon Apr 10 08:49:10 CEST 2017

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=


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list