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

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