Thanks, Jeff. Your answers really help me a lot... Peng
On Mon, Oct 10, 2016 at 12:27 PM, Jeff Waugh <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
