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