Alle 14:46, lunedì 23 febbraio 2004, Raistlin ha scritto: > Invece si! Si tratta solo di scegliere le nuove opzioni, ma puoi > benissimo copiare il .config Mi pare, ma non sono sicuro, che usando make menuconfig ti vada lui stesso a pescare il file di configurazione del kernel in uso. saluti -- Marco Valli - running Debian GNU/Linux http://www.filiarmonici.org - per un mondo senza galere