FreeBSD kernel Debugging tools for Virtual Memory Module

[Kamlesh Patel]

Hi Friends, Happy New Year, 

I am working on Virtual Memory parts of FreeBSD OS. My Problem is, whenever i modify little code of vmpage.c file i need to build the whole kernel to check the modification and i even am not able to debug the kernel code.

Could anyone please inform me kernel Debugging tools for FreeBSD OS?

Kamlesh
MS CS, CSUS