Kernel developing tools

[Alan Somers]

On Tue, Dec 20, 2016 at 1:45 PM, Nicolás Papp <nicolaspapp at gmail.com> wrote:
> Hi there!
>
> Has somebody managed to configure any IDE to build and debug the freeBSD
> kernel?
>
> I am currently using kgdb and it takes me a ton of time to rebuild and
> debug for just some minor changes!
>
> I also want to know if I can rebuild just the scheduler file of my kernel
> without needing to rebuild the whole kernel, since it is the only file
> where I plan to make modifications.
>
> Hope I can get some useful information while I keep incursionating on the
> freeBSD kernel.
> Thanks,
> Nicolas

If you're only modifying a few files, you don't need to rebuild the
entire kernel.  Use -DKERNFAST on the command line and only recently
touched files will be rebuild.  For example,

make -j24 -DKERNFAST buildkernel