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

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/Ma... Thanks, Jeff