kernel-source from home:javispedro:fixkern project
Seleziona il sistema operativo
Aggiungi il repository e installa manualmente
Per openSUSE Tumbleweed eseguire quanto segue come root:
zypper addrepo https://download.opensuse.org/repositories/home:javispedro:fixkern/openSUSE_Tumbleweed/home:javispedro:fixkern.repo zypper refresh zypper install kernel-source