Ciao, ho installato ubuntu, ma pare che non siano disponibili i sorgenti del kernel.
Ma da dove li scarico?