Archivos de configuración de los kernels oficiales de Debian

A partir de ya (lo traigo calentito, oiga, el anuncio es de hace media hora) se pueden obtener en Debian Official Kernel Configuration files los archivos de configuración de los kernels que hay en los repositorios de Debian.

Normalmente estos archivos se distribuyen como parte de los paquetes linux-image, pero ahora ya se pueden obtener independientemente del binario del kernel. ¿Y para qué? Bueno, pues por si quereis compilar un kernel igual al oficial pero necesitais alguna opción que éste no trae, o por si quereis comprobar si uno de los kernels oficiales lleva activada una opción que os interesa antes de instalarlo, o por si quereiss consultar las opciones que tiene activadas un kernel oficial que ya está archivado...

¿Y cómo usarlo? Pues como cualquier otro .config. Se descarga, se descomprime, se copia en la raíz del código fuente del kernel como .config y se hace un make oldconfig.