Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.kernel > #91310

How to change a kconfig parameter when rebuilding the Debian source package of the Linux kernel ?

From Computer Enthusiastic <computer.enthusiastic@gmail.com>
Newsgroups linux.debian.kernel
Subject How to change a kconfig parameter when rebuilding the Debian source package of the Linux kernel ?
Date 2026-02-20 19:10 +0100
Message-ID <MqD6W-23MN-11@gated-at.bofh.it> (permalink)
Organization linux.* mail to news gateway

Show all headers | View raw


Hello,

I would like to rebuild a Debian source package of the Linux kernel 
after changing one or more kernel configuration parameters.

The Debian Administrator Handbook [1] suggests generating the 
configuration file '.config' in the root directory of the source code 
form current running configuration, and then modifying it. This method 
works, but I would like to understand how to modify the Linux kernel 
configuration used by the Debian packaging system.

The building scripts for the Debian source package of the Linux kernel 
assemble the kernel's configuration files using configuration snippets 
in the ./debian/config directory. The ./debian/README.sources [2] states:

---------%< ---------%< ---------%< ---------%< ---------%<

Kernel config files
===================

Each kernel configuration file is constructed dynamically from a
number of files under debian/config and (if it exists)
debian/config.local.  They are read in the following order, such that
files later on the list can override settings from earlier files.
Files in debian/config.local can also override settings from the
corresponding file in debian/config.

1. Common:
    - Default filename: config
    - Filename list: [build.config]
2. Per kernel architecture:
    - Default filename: kernelarch-<karch>/config
    - Filename list: [kernelarch.build.config]
3. Per Debian architecture:
    - Default filename: <arch>/config
    - Filename list: [kernelarch.debianarch.build.config]
4. Per Debian architecture and flavour:
    - Default filename: <arch>/config.<flavour>
    - Filename list: [kernelarch.debianarch.flavour.build.config]
5. Per featureset:
    - Default filename: featureset-<fset>/config
    - Filename list: [featureset.build.config]
6. Per Debian architecture and featureset:
    - Default filename: <arch>/<fset>/config
    - Filename list: [kernelarch.debianarch.featureset.build.config]
7. Per Debian architecture, featureset, and flavour:
    - Default filename: <arch>/<fset>/config.<flavour>
    - Filename list: [kernelarch.debianarch.featureset.flavour.build.config]

You can check the final list of configuration files by reading
debian/rules.gen.  Each binary-arch_<arch>_<fset>_<flavour>_image
rule passes the list to debian/rules.real as the KCONFIG variable.

These files should be kept in order using the kconfigeditor2
utility from <https://salsa.debian.org/kernel-team/kernel-team>.
With this source package as your working directory, run:

     debian/rules source
     .../kernel-team/utils/kconfigeditor2/process.py .

This will also warn about any symbols that no longer exist, or
cannot be explicitly configured.

---------%< ---------%< ---------%< ---------%< ---------%<

If I understand correctly, the config snippets in ./debin/config are 
assembled using the ./debian/bin/kconfig.py program [3] in 
./debian/rules.gen to generate the final .config file required for 
building the kernel's binary images.

What's the "cleanest" debian way to change some kernel parameters in 
Debian Linux source package before building the binary packages  ?

As an example, how to enable the following parameters (that are disabled 
in the default configuration) ?
     # CONFIG_BOOT_CONFIG is not set
     # CONFIG_BOOTTIME_TRACING is not set

Thanks.

--
[1] https://debian-handbook.info/browse/stable/sect.kernel-compilation.html
[2] 
https://sources.debian.org/src/linux/6.18.12-1/debian/README.source?hl=107#L104
[3] https://salsa.debian.org/kernel-team/kernel-team
[4] https://www.linux.it/~ema/posts/enabling-kernel-settings-in-debian/

Back to linux.debian.kernel | Previous | Next | Find similar | Unroll thread


Thread

How to change a kconfig parameter when rebuilding the Debian source  package of the Linux kernel ? Computer Enthusiastic <computer.enthusiastic@gmail.com> - 2026-02-20 19:10 +0100

csiph-web