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