Varias compilaciones del kernel para Ubuntu están disponibles enPPA del núcleo de Ubuntu. Pero sólo se incluyen los siguientes paquetes para cada núcleo en el sitio PPA:
linux-headers-{kernel_version}...
linux-image-{kernel_version}...
linux-module-{kernel_version}...
También necesito los paquetes linux-tools
y linux-tools-generic
(si es posible) para una compilación reciente del kernel estable (digamos la más reciente a partir de hoy,Paquetes del kernel 5.1.10 en Ubuntu Kenel PPA). ¿Cómo hago para obtener ese/esos paquetes?