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:

If you're adding new directories, you almost certainly want to update the Makefile under libsel4arm-vmm:

Thanks,

Jeff