Ho dato un “uname -a” per fare ordine nei kernel e ho scoperto che sto usando kernel-server 6.13.5.
Ho anche kernel-desktop 6.13.5 e kernel-server-gcc 6.13.5.
Perchè sto usando un kernel-server? A cosa mi servono gli altri?
Grazie
Ti sarà sfuggito questo.
Si, mi era sfuggito.
Ho visto che c’erano aggiornamenti e li ho fatti (mi fido ciecamente della “nostra” rolling 
.
Dopo aver eliminato tutte le versioni precedenti oggi ha fatto il boot con server-gcc.
Cosa succede se avvio kernel-desktop e elimino gli altri? Potrei avere problemi?
Conviene sempre tenere almeno un kernel prececente di scorta.
Da quello che leggo sul forum sembra che il kernel-server in determinate circostanze funzioni meglio che il -desktop.
Una curiosità, giusto per schiarirmi le idee: siamo tornati da clang a gcc?
Credevo che i kernel venissero compilati con clang (o la memoria comincia a tradirmi).
No, abbiamo entrambi.