Buona sera. Ringrazio di cuore tutti quelli che si sono disturbati per il mio problema. Per prima cosa, come afferma Cemb, è bastato premere CTRL+ALT+BKSP per terminare serverx. E già li per me è un successo. Ho lanciato l'installare in formato rpm dei driver forniti sul sito nvidia, ma come temevo non trova il kernel-source. Ho seguito le indicazioni che mi ha dato vegeta. Ho scompattato il file trovato all'interno della cartella usr/src/kernel e creato una dir di nome linux all'interno di usr/src. Sfortunatamente quel file che sono andato a scompattare era di grandezza pari a circa 4 mega quindi non conteneva all'interno il kernel source. Infatti l'installare mi da questo errore
Not found Kernel.h /usr/src/linux/include/linux/kernel.h Most reason is the kernel-source is not installed on your system
Adesso mi metto alla ricerca, se qualcuno ne sa qualcosa, posti, che lo invito a cena se riesco a venirne fuori... Grazie
