1. Kconfig基础

Kconfig 是 Linux 内核配置系统的核心语言，用于定义内核功能的开关、参数和依赖关系。理解 Kconfig 语法是进行内核裁剪与编译加速的第一步。本章将系统讲解 Kconfig 的语法结构、菜单项定义方式、依赖关系表达以及选择逻辑，为后续的配置优化打下坚实基础。

1.1 Kconfig 语法结构概览

Kconfig 文件由一系列配置条目（config entry）和菜单结构（menu structure）组成。每个配置条目定义一个可配置的选项，而菜单结构控制这些选项在配置界面中的组织方式。

以下是一个典型的 Kconfig 文件结构示例：

# 顶层菜单
mainmenu "Linux Kernel Configuration"

# 源文件引入
source "arch/x86/Kconfig"

# 菜单项
menu "General setup"

config LOCALVERSION
    string "Local version - append to kernel release"
    default ""

config SYSVIPC
    bool "System V IPC"
    help
      System V Interprocess Communication (IPC) facilities.
      If unsure, say Y.

endmenu

Kconfig 的基本语法元素包括：

1.2 菜单项定义与属性

每个 config 条目可以包含多个属性，用于控制选项的类型、默认值、依赖关系和帮助信息。以下是常用的属性类型：

完整配置条目示例：

config PREEMPT
    bool "Preemptible Kernel (Low-Latency Desktop)"
    depends on !ARCH_NO_PREEMPT
    select PREEMPT_BUILD
    select PREEMPTION
    select UNINLINE_SPIN_UNLOCK if !ARCH_INLINE_SPIN_UNLOCK
    help
      This option reduces the latency of the kernel by making
      all kernel code preemptible. This allows reaction to
      interactive events by permitting a low priority process to
      be preempted involuntarily even if it is in kernel mode.

      Say Y here if you are building a kernel for a desktop system.
      Say N if you are building a server or embedded kernel.

1.3 依赖关系与表达式

Kconfig 的依赖关系通过 depends on 和 select 两种机制实现，支持复杂的布尔表达式。

1.3.1 depends on 依赖

depends on 定义了一个选项可见或可被选中的前置条件。如果条件不满足，该选项在配置界面中不可见，且不会被编译。

config DEBUG_INFO
    bool "Debug information"
    depends on DEBUG_KERNEL

config STACKTRACE
    bool "Stack backtrace support"
    depends on DEBUG_KERNEL
    depends on !HAVE_RELIABLE_STACKTRACE

1.3.2 select 反向选择

select 用于当一个选项被选中时，自动强制开启另一个选项。这通常用于实现功能依赖链。

config USB_SUPPORT
    bool "USB support"
    select USB_COMMON

config USB_COMMON
    tristate
    default m if USB_SUPPORT

1.3.3 依赖表达式语法

Kconfig 支持以下逻辑运算符构建依赖表达式：

1.4 choice 互斥选择逻辑

choice 语句用于定义一组互斥的选项，用户只能从其中选择一个。这在处理器类型选择、I/O 调度器选择等场景中非常常见。

choice
    prompt "I/O Scheduler"
    default DEFAULT_CFQ

config DEFAULT_DEADLINE
    bool "Deadline" if DEFAULT_DEADLINE
    help
      The deadline I/O scheduler.

config DEFAULT_CFQ
    bool "CFQ"
    help
      The CFQ I/O scheduler.

config DEFAULT_NOOP
    bool "Noop"
    help
      The noop I/O scheduler.

endchoice

config DEFAULT_IOSCHED
    string
    default "deadline" if DEFAULT_DEADLINE
    default "cfq" if DEFAULT_CFQ
    default "noop" if DEFAULT_NOOP

choice 的关键属性：

1.5 if/endif 条件块

if/endif 用于将多个配置条目置于同一条件之下，避免为每个条目重复写 depends on。

if EXPERT

config DEBUG_OBJECTS
    bool "Debug object operations"

config DEBUG_OBJECTS_FREE
    bool "Debug objects in kfree"
    depends on DEBUG_OBJECTS

config DEBUG_OBJECTS_TIMERS
    bool "Debug timer objects"
    depends on DEBUG_OBJECTS

endif # EXPERT

上述代码等价于为每个 config 条目添加 depends on EXPERT。使用 if/endif 可以显著提高 Kconfig 文件的可读性和维护性。

1.6 实战：快速定位与理解 Kconfig 依赖

在内核裁剪实践中，快速理解 Kconfig 依赖关系是核心技能。以下是推荐的排查步骤：

1. 查找定义： 使用 grep -r "config DEBUG_INFO" 在源码树中定位 Kconfig 条目。
2. 分析依赖： 查看 depends on 和 select 语句，绘制依赖链。
3. 检查默认值： 确认 default 值是否满足裁剪目标。
4. 验证影响： 使用 make menuconfig 的搜索功能（/ 键）查看选项的完整依赖树。
5. 生成 .config： 运行 make olddefconfig 自动处理依赖关系，生成最小配置。