Contribuyendo a la excelente labor de mi amigo Cortex, vamos con este pequeño artículo.

Una de las tareas más dispendiosas a la hora de configurar el kernel es determinar qué opción/driver activar para determinado dispositivo. La idea de este artículo es dar a conocer una excelente herramienta online que nos permitirá conocer mejor nuestro sistema, y de paso saber los nombres de los drivers que podemos usar por cada dispositivo.

La página en cuestión es http://kmuto.jp/debian/hcl/ y contiene una base de datos de IDs de dispositivos PCI, que nos permite consultar información acerca de nuestros dispositivos y los drivers que los controlan.

Uso

Para usarlo debemos ejecutar el siguiente comando:

y copiamos la salida en el area de texto que aparece al entrar a http://kmuto.jp/debian/hcl/; hacemos clic en el botón Comprobar y obtendremos un listado de dispositivos vs. nombre del driver.

Por ejemplo, mi laptop tiene una ranura para insertar memorias SD; el nombre de dicho dispositivo es R5C822 SD/SDIO/MMC/MS/MSPro Host Adapter y el driver es sdhci-pci.

Con dicha información, podemos hacer una búsqueda (presionando la tecla /) en la configuración del kernel (cuando hacemos un make menuconfig):

El resultado es la ubicación exacta de la opción que debes habilitar para tener tu dispositivo funcionando:

Eso es todo. Ahora podemos estar seguros de escoger el driver adecuado y podemos compilar nuestro kernel normalmente.