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

Thanks, Jeff. Your answers really help me a lot... Peng On Mon, Oct 10, 2016 at 12:27 PM, Jeff Waugh wrote:

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