Finding Linux Kernel Config options in menuconfig

We have reason to believe that we should not be setting CONFIG_EFI_DISABLE_RUNTIME=y In our Kernel configs. I want to perform a controlled expereient booting two Kernel builds, one with this option set and one with it disabled. Since I have the option set, building that Kernel is trivial.

 make olddefconfig
 make -j$(nproc)  rpm-pkg

Now, to turn that option off, I could just edit the .config file. However, it is possible that there are other config options linked to that one, and there is logic to modify them together. I want to see what happens if I use make menuconfig to change the option to confirm (or deny) that only that option gets changed. But where do I find this option in the menu?

./drivers/firmware/efi/Kconfig:278:config EFI_DISABLE_RUNTIME

Lets take a quick look at that file. Near the end of it, we can see the longer entry that will show up in Menuconfig:

        bool "Disable EFI runtime services support by default"
        default y if PREEMPT_RT

At the top of it we have:

menu "EFI (Extensible Firmware Interface) Support"
        depends on EFI

However, that second level menu is not visible from the main menu screen

make menuconfig main screen

What thinks to pull in this file? Lets take a guess and look one level up in the directory.

$ grep Kconfig ./drivers/firmware/Kconfig 
source "drivers/firmware/arm_scmi/Kconfig"
source "drivers/firmware/arm_ffa/Kconfig"
source "drivers/firmware/broadcom/Kconfig"
source "drivers/firmware/cirrus/Kconfig"
source "drivers/firmware/google/Kconfig"
source "drivers/firmware/efi/Kconfig"
source "drivers/firmware/imx/Kconfig"
source "drivers/firmware/meson/Kconfig"
source "drivers/firmware/psci/Kconfig"
source "drivers/firmware/smccc/Kconfig"
source "drivers/firmware/tegra/Kconfig"
source "drivers/firmware/xilinx/Kconfig"

So the directory structure should be mirrored in the menu structure. Lets again look one level up.

$ grep drivers/firmware ./drivers/Kconfig 
source "drivers/firmware/Kconfig"

And again one level up.

[ayoung@eng14sys-r111 linux]$ grep drivers ./Kconfig 
source "drivers/Kconfig"

Now, the toplevel one does not have a “menu” entry in it, it just sources all of the entries below it, and I assume that makes a flat structure that is somehow organized. To get a tree we probably need those menu entries..

$ grep menu ./drivers/Kconfig 
menu "Device Drivers"
$ grep menu ./drivers/firmware/Kconfig 
menu "Firmware Drivers"

Going back to our top level menu, we can see that there is a Device Drivers entry just under networking support. On the second level menu we can see a Firmware Drivers entry.

Scroll a few lines down and you can see the EFI entry

make menuconfig->main->Device Drivers->Firmware->EFI Entry:
Disable EFI entry highlighted

From here we can deselct the option and see the change in our config file:

$ diff old.config .config

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.