Re: Genode on i.MX6Q Sabre Lite

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