Kernel Debug Howto

[Edward Tomasz Napierała]

On 0725T1324, HeTak wrote:

[..]

> 3- what is the fastest way to apply changes to FreeBSD kernel?
> (For now, I just follow the normal build & install kernel & reboot.)

I have this in my ~/.zshrc:

mbir='make -j4 buildkernel installkernel KERNFAST=1 && reboot'

Together with MODULES_OVERRIDE set to only build the modules I need
(see make.conf manual page) it makes the process pretty quick.