Configuração do Kernel: É indefinido o mesmo que desabilitado?

Question

Lendo o Manual do Kernel da Debian me deparei com a opção de configuração CONFIG_DEBUG_INFO .

Essa opção não está na configuração oficial do kernel do debian 3.2, então o que eu gostaria de saber:

Se uma determinada opção não estiver no arquivo .config, isso é considerado "indefinido" e "indefinido" é o mesmo que "desativado"?

    

Answer 1

No caso dessa opção de configuração, "undefined" significa "desativado", consulte o Makefile :

ifdef CONFIG_DEBUG_INFO
KBUILD_CFLAGS   += -g
KBUILD_AFLAGS   += -gdwarf-2
endif

Então, a resposta é: depende . Existem opções de configuração no Makefile with else e outras instruções. Tal contante também pode ter um valor que define um comportamento diferente.