Yeah that sounds like a better idea On Tue, May 22, 2012 at 9:18 PM, David Larsen <dcl9934@xxxxxxx> wrote: > On 5/22/12 9:07 PM, Sean Congden wrote: > > I just added it as a module in src/Makefile and it seems to work fine. > > > Won't that also compile it into the kernel? > > I think that the best way to do it is make a new recipe for it (in > src/Makefile): > > user_programs: $(MODULES) > $(MAKE) -C $@ > > > That way we make sure that all of the kernel modules are built (but not > linked) before building the user programs. > > -David >