Kernel developing tools

[Nicolás Papp]

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