Re: [seL4] adding new code to VMM on TK1

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