Di seguito è illustrata la sequenza dei comandi da effettuare per la generazione di un nuovo Kernel in Linux con distribuaione Debian.

# cd /usr/src/linux
# make menuconfig
# make-kpkg clean
# make-kpkg -revision custom.6 kernel_image
# dpkg --install /usr/src/kernel-image-2.0.36_custom.6_i386.deb
# reboot

Al riavvio successivo le nuove modifiche sono operative e si spera funzionanti.