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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main