Sul sito di debian si vede che Debian permette 4 differenti kernel: Debian GNU/Linux Debian GNU/Hurd Debian GNU/NetBSD Debian GNU/kFreeBSD Ora, dei quattro, quale e' il piu' piccolo? Mi spiego, dei quattro kernel, quale e' a parita' di servizi offerti quello meno ingombrante in termini di dimensione dell'eseguibile? Roberto