Con kernel vanilla si indica un kernel di 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.

Nel caso di Debian è consigliato usare normalmente kernel ufficiali Debian.