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 [email protected] https://sel4.systems/lists/listinfo/devel
