Kernel vanilla

Con kernel vanilla si indica un kernel Linux ufficiale scaricato da www.kernel.org. Questi kernel sono quelli rilasciati ufficialmente dal team di Linus Torvalds.

Ogni distribuzione (compresa Debian) modifica il kernel vanilla per integrarlo al meglio nel proprio sistema e per aggiungere correzioni a problemi di sicurezza.
Le patch apportate da Debian al kernel ufficiale sono visibili qui: http://anonscm.debian.org/viewvc/kernel/dists/trunk/linux/debian/patches/

L'ultima versione del kernel "vanilla" è disponibile sempre in "experimental" e comprende tutte le patch specifiche per Debian, è pertanto consigliato usare normalmente kernel ufficiali Debian.