that's the exactly my problem. There are many Makefiles and they seem to be organized in a hierarchical way. I want to add a new folder and subdirectories under a folder, called parent folder, which makefile do I need to add new search path? In my case, there is no makefile in the parent folder, but several makefiles in upper layer folders. Can I directly add search path in one of these makefiles? By the way, what's the definition of the search path, PATH? Thanks Peng On Fri, Oct 7, 2016 at 5:47 PM, HyperNewbie wrote:

Have you tried adding more search paths to the Makefile?

On 7 October 2016 at 10:50, PX wrote:

...

Hi, Please forgive my ignorance. I want to add new code to the seL4-based VM for TK1. However, I find it is hard to add new directories. The newly added directories are always ignored or can not be found by compiler. What's the correct way to add new directories? which scripts we should look into?

thanks Peng

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

Thanks, Jeff. Your answers really help me a lot... Peng On Mon, Oct 10, 2016 at 12:27 PM, Jeff Waugh wrote:

Hi there,

Sorry if this is an obvious answer, but just in case: seL4 and all of its subprojects use Kbuild, borrowed from the Linux kernel.

You can find some documentation for it here:

https://www.kernel.org/doc/Documentation/kbuild/

If you're adding new directories, you almost certainly want to update the Makefile under libsel4arm-vmm:

https://github.com/SEL4PROJ/seL4_projects_libs/blob/ master/libsel4arm-vmm/Makefile

Thanks, Jeff

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel