Obtener la configuración de la imagen del kernel de Linux
linux-kernel kbuild (2)
Por ejemplo, para ver si nuestro kernel tiene configurada la opción CONFIG_PRINTK_TIME.
CONFIG_PRINTK_TIME -> Mostrar información de tiempo en las impresiones
Ejecute el comando en el inicio de destino: zcat /proc/config.gz | grep ''CONFIG_PRINTK_TIME''
root@tegra:~# zcat /proc/config.gz | grep ''CONFIG_PRINTK_TIME''
CONFIG_PRINTK_TIME=y
root@tegra:~#
Tengo una imagen del kernel de Linux en formato elf y quiero saber qué archivo .config
se usó para construir este kernel. Cuando hago un objdump de la imagen, veo una sección llamada kernel_config_data
que contiene texto pero no se parece al archivo de configuración. ¿Hay alguna manera de recuperar esta información?
Suponiendo que su kernel fue creado con la opción IKCONFIG , puede usar la herramienta scripts/extract-ikconfig
para extraer el archivo original .config
.
Alternativamente, puede arrancar ese kernel y encontrar la configuración incrustada en /proc/config.gz
.