Linux 内核编译与模块开发指南

Linux 内核编译与模块开发指南

编译 Linux 内核并开发内核级代码，需要理解用户空间、内核空间、硬件以及连接它们的构建系统之间的边界。

本指南涵盖获取并编译 Linux 内核源码、构建可加载内核模块、针对其他架构进行交叉编译、添加自定义系统调用，以及以 Linux 0.11 作为早期 x86 操作系统设计的紧凑示例来考察其架构的实际工作流程。

现代 Linux 内核围绕进程调度、虚拟内存、文件系统、网络、设备和系统调用提供了广泛的抽象。相比之下，Linux 0.11 更直接地暴露了许多底层机制，使其对研究启动时初始化、保护模式、分页、中断处理以及早期进程管理非常有用。

🧩 Linux 内核架构与核心子系统

#

Linux 内核作为硬件与用户空间软件之间的特权资源管理层。

应用程序通常通过系统调用和标准化接口与内核功能交互，而不是直接访问硬件。

进程管理

#

进程管理子系统负责进程和线程的创建、调度、上下文切换、同步与终止。

调度器决定哪些可运行任务获得 CPU 时间，而内核同步原语则协调对共享资源的访问。

该子系统为 Linux 的抢占式多任务模型提供了基础。

内存管理

#

内存管理子系统为进程提供隔离的虚拟地址空间，并控制虚拟地址与物理内存之间的映射。

其职责包括：

• 虚拟内存管理
• 页面分配与回收
• 地址空间管理
• 内存映射
• 页缓存管理
• 交换处理
• 内存保护
• 内核内存分配

虚拟内存使应用程序能够在独立的地址空间中运行，同时内核控制这些地址如何映射到物理内存。

虚拟文件系统

#

虚拟文件系统（VFS） 为文件和目录操作提供了统一的抽象。

应用程序可以使用 open()、read()、write() 和 close() 等标准接口，而无需了解底层文件系统的内部实现。

这种抽象使 Linux 能够通过通用 API 支持 ext4、XFS 和 Btrfs 等文件系统实现。

网络子系统

#

网络子系统处理数据包，并向用户空间应用程序提供基于套接字的接口。

它包括：

• 网络接口
• 套接字 API
• TCP/IP 协议实现
• 路由
• 数据包过滤
• 流量控制
• 网络命名空间

因此，应用程序可以通过标准化接口与网络资源交互，而内核负责协议处理和硬件交互。

设备驱动

#

设备驱动将内核抽象连接到物理硬件。

示例包括：

• NVMe 和 SATA 存储
• 以太网和 Wi-Fi 适配器
• GPU
• USB 设备
• 输入设备
• 音频硬件

驱动负责设备初始化、命令提交、中断、DMA、电源管理以及其他硬件特定操作。

系统调用层

#

系统调用构成了用户空间程序请求特权内核服务的受控接口。

诸如进程创建、文件访问、内存映射和网络通信等操作最终都依赖于内核提供的接口。

因此，系统调用边界既是 API 边界，也是重要的安全边界：用户空间代码不能任意执行特权内核操作或访问受保护的硬件资源。

🛠️ 开发环境与内核源码

#

在编译内核代码或外部模块之前，需建立合适的构建环境。

对于基于 Ubuntu 或 Debian 的系统，可通过以下命令安装基本开发环境：

sudo apt-get update
sudo apt-get install build-essential openssl zlibc minizip libidn11-dev libidn11 libncurses-dev

对于内核开发，根据内核版本、启用的配置选项、目标架构和构建工作流，可能需要额外的依赖项。

在实验自定义内核时，使用虚拟机通常更可取，因为内核开发中的错误可能导致系统崩溃或使测试环境无法启动。

获取内核源码

#

官方 Linux 内核源码发布可从 kernel.org 获取。

下载类似以下源码归档后：

linux-x.y.z.tar.xz

可通过以下方式解压：

xz -d linux-x.y.z.tar.xz
tar -xvf linux-x.y.z.tar
cd linux-x.y.z

现代 tar 实现也可直接解压 .tar.xz 归档：

tar -xf linux-x.y.z.tar.xz

解压后的源码树包含内核的架构特定代码、核心子系统、驱动、文件系统实现、构建基础设施以及配置元数据。

🔌 开发 Linux 内核模块

#

可加载内核模块提供了一种机制，可在不将每个组件静态编译进内核镜像的情况下，向运行中的内核添加功能。

典型用例包括设备驱动、文件系统组件以及其他内核扩展。

内核模块通常构建为 .ko 文件。

基本内核模块结构

#

一个最小模块包括模块 API、初始化和清理回调，以及许可元数据：

#include <linux/module.h>
#include <linux/kernel.h>
#include <linux/init.h>

MODULE_LICENSE("GPL");
MODULE_AUTHOR("Developer");
MODULE_DESCRIPTION("Sample Kernel Module");
MODULE_VERSION("1.0");

static int __init my_module_init(void)
{
    pr_info("Module loaded into kernel space\n");
    return 0;
}

static void __exit my_module_exit(void)
{
    pr_info("Module unloaded\n");
}

module_init(my_module_init);
module_exit(my_module_exit);

module_init() 宏标识模块加载时执行的函数。

类似地，module_exit() 标识模块移除时执行的清理函数。

对于普通信息性消息，使用 pr_info() 通常比直接调用 printk() 更可取，因为它使用内核的更高层日志接口。

内核模块 Makefile

#

外部模块可使用内核的 Kbuild 基础设施构建：

obj-m += my_module.o

all:
	make -C /lib/modules/$(shell uname -r)/build M=$(PWD) modules

clean:
	make -C /lib/modules/$(shell uname -r)/build M=$(PWD) clean

重要： Makefile 配方命令必须以字面 Tab 字符 开头，而不是空格。

M=$(PWD) 参数告诉 Kbuild 外部模块源码的位置。

典型构建会生成：

my_module.ko

然后可将其加载到兼容的内核中。

构建并测试模块

#

典型工作流为：

make
sudo insmod my_module.ko
lsmod | grep my_module
dmesg | tail
sudo rmmod my_module

模块必须针对兼容的内核配置和内核构建树进行构建。

在启用模块签名强制执行的发行版上，即使编译成功，未签名的模块也可能被拒绝。

🏗️ 内核构建参数与交叉编译

#

Linux 构建系统支持几个重要参数，用于非本地构建和隔离的构建目录。

交叉编译

#

对于 ARM 目标，交叉编译命令可同时指定目标架构和编译器前缀：

make ARCH=arm CROSS_COMPILE=arm-linux-

确切的交叉编译器前缀取决于所使用的工具链。现代 ARM 目标可能使用 aarch64-linux-gnu- 等前缀，而不是 arm-linux-。

重要的区别在于 ARCH 选择内核架构，而 CROSS_COMPILE 标识工具链前缀。

外部构建目录

#

可使用 O= 将内核构建产物与源码树分离：

make O=../build-kernel

这在从同一源码树维护多个配置或目标构建时特别有用。

例如：

make O=../build-kernel menuconfig
make O=../build-kernel -j$(nproc)

源码树保持相对干净，而生成的文件存储在外部构建目录中。

详细构建输出

#

V 参数控制构建的详细程度：

make V=1

或：

make V=2

详细输出在调试编译器标志、链接器命令、生成文件、包含路径或架构特定构建行为时很有用。

⚙️ 构建自定义 Linux 内核

#

完整的内核构建通常包括配置、编译、模块安装以及安装生成的内核镜像。

简化工作流为：

清理源码树

#

mrproper 比普通构建清理执行更全面的清理：

make mrproper

它可以移除生成的文件和配置产物，包括 .config。

因此，在运行之前请保留任何需要的配置。

内核配置

#

可使用 ncurses 基于的配置界面启动：

make menuconfig

这允许开发者配置处理器支持、文件系统、网络、驱动、调试设施、安全功能以及其他内核组件。

生成的配置通常存储在：

.config

对于可重现的构建，保留并版本控制相关配置通常比每次依赖交互式配置过程更有用。

编译内核

#

可使用所有可用处理器线程编译内核：

make -j$(nproc)

在 x86 系统上，也可显式生成可启动内核镜像：

make bzImage -j$(nproc)

确切目标取决于架构和内核版本。

安装内核模块

#

成功编译后：

sudo make modules_install

这会将构建的模块安装到适当的 /lib/modules/<kernel-release>/ 目录。

安装内核

#

然后可通过以下方式安装内核：

sudo make install

在使用 GRUB 和发行版特定内核打包的发行版上，额外的引导加载程序或 initramfs 处理可能发生在原始上游 make install 工作流之外。

对于生产系统，发行版原生内核打包通常更可取，因为它与包管理和引导加载程序配置集成更干净。

📞 添加自定义系统调用

#

添加自定义系统调用是一个有用的教育练习，因为它演示了用户空间请求如何跨越内核边界。

确切实现在不同内核版本之间有显著差异，因此路径和系统调用注册机制应始终对照正在修改的特定内核源码进行检查。

实现系统调用

#

概念性实现可能如下：

asmlinkage long sys_helloworld(void)
{
    pr_info("Hello world from custom syscall!\n");
    return 1;
}

该函数应遵循目标内核版本所需的调用约定和系统调用实现约定。

声明接口

#

系统调用实现必须根据源码树的约定对相关内核声明可见。

对于较旧或教育用内核树，这可能涉及如下声明：

asmlinkage long sys_helloworld(void);

确切的头文件位置取决于版本。

注册系统调用

#

在使用传统系统调用表布局的 x86-64 内核上，条目可能在概念上类似于：

333    64    helloworld    sys_helloworld

然而，系统调用号是内核版本和架构特定的。

不应假设诸如 333 这样的硬编码值普遍可用。必须从目标内核的实际系统调用表中选择适当的未使用系统调用号。

重建并测试

#

修改内核源码后，重建并安装内核，然后再测试新接口。

用户空间测试可通过通用 syscall() 接口调用系统调用：

#include <unistd.h>
#include <sys/syscall.h>

long result = syscall(SYS_helloworld);

如果为实验使用自定义数字系统调用标识符，该数字必须精确对应运行内核的系统调用表条目。

测试程序还应验证返回值，并在调试实现时检查内核日志。

🧬 重建 Linux 0.11

#

现代 Linux 是一个庞大且高度模块化的代码库。相比之下，Linux 0.11 提供了一个紧凑的环境，用于理解启动和初始化早期 x86 内核所涉及的机制。

研究其源码可揭示系统如何从固件加载的实模式代码过渡到保护模式，并最终进入基于 C 的内核初始化。

简化的启动流程为：

+-----------------------------------------------------------------------+
| 1. bootsect.s  | BIOS 加载 512B 扇区 -> 初始启动设置                  |
+-----------------------------------------------------------------------+
        |
        v
+-----------------------------------------------------------------------+
| 2. head.s      | 保护模式 -> IDT、GDT、分页初始化                     |
+-----------------------------------------------------------------------+
        |
        v
+-----------------------------------------------------------------------+
| 3. main.c      | 进程、内存、中断、文件系统设置                       |
+-----------------------------------------------------------------------+

bootsect.s：初始启动代码

#

bootsect.s 包含早期的 16 位实模式启动代码。

BIOS 将启动扇区加载到内存并转移执行给它。启动扇区随后执行加载剩余内核组件所需的初始处理器和磁盘设置。

此阶段受到严格的大小约束，因为传统启动扇区限制为 512 字节。

因此，启动代码专注于初始化和加载，而不是实现完整内核。

head.s：保护模式转换

#

head.s 执行关键的底层 CPU 初始化。

其职责包括设置如下结构：

• 全局描述符表（GDT）
• 中断描述符表（IDT）
• 页表
• 保护模式执行环境

从实模式到保护模式的转换从根本上改变了处理器处理内存寻址、特权级别和中断的方式。

分页随后为虚拟内存提供了基础。

main.c：内核初始化

#

一旦底层处理器初始化完成，执行进入内核的 C 部分。

main.c 初始化核心操作系统子系统，包括：

• 进程管理
• 内存管理
• 中断处理
• 系统定时器
• 文件系统结构
• 根文件系统挂载

初始化序列建立了在正常用户空间进程可以执行之前所需的运行时环境。

进程控制与调度

#

Linux 0.11 的进程模型提供了早期类 Unix 多任务的紧凑示例。

进程控制块包含跟踪任务所需的状态，包括调度和处理器上下文。

调度器随后选择可运行进程并在它们之间执行上下文切换。

与现代 Linux 的调度器架构相比，该实现显著更小，使底层概念更容易通过源码追踪。

内存初始化

#

早期内核建立其内存管理结构，并维护有关可用内存的信息。

分页结构使进程能够在受保护的虚拟地址空间中运行，而内核管理相应的物理内存。

因为 Linux 0.11 早于现代 Linux 中的许多抽象，其内存管理代码提供了页表初始化和早期虚拟内存设计的有用教育视角。

文件系统初始化

#

Linux 0.11 还初始化根文件系统及其核心元数据结构。

诸如 inode 和 超级块 等概念为文件系统元数据和存储组织提供了基础。

从 main.c 到文件系统代码的初始化路径是理解内核如何从硬件初始化过渡到可用操作系统环境的实用方式。

🐞 调试内核与启动代码

#

内核调试需要能够在正常用户空间环境存在之前观察执行的工具。

对于现代内核和实验性操作系统，QEMU 或 Bochs 可提供适合底层调试的隔离虚拟机。

有用的调试策略将问题分层分离。

汇编级调试

#

诸如 bootsect.s 和 head.s 的启动代码在正常 C 运行时环境存在之前执行。

因此，调试通常需要检查：

• CPU 寄存器
• 段描述符
• 页表
• 中断描述符
• 物理内存
• 指令地址

在实模式到保护模式转换周围放置断点可精确揭示初始化失败的位置。

GDB 与 QEMU

#

QEMU 可暴露可连接到 GDB 的客户调试接口。

典型工作流为：

主机
 |
 +-- QEMU
 |    |
 |    +-- 启动扇区
 |    +-- 内核
 |    +-- 客户内存
 |
 +-- GDB
      |
      +-- 断点
      +-- 寄存器
      +-- 内存检查
      +-- 指令单步

这种方法允许开发者在不依赖完全正常运行的客户操作系统的情况下检查内核执行。

对于早期启动失败，这通常比传统的应用级调试更有用，因为失败可能发生在内核初始化其正常日志基础设施之前。

🔬 现代内核开发与 Linux 0.11

#

同时研究现代 Linux 和 Linux 0.11 可突出操作系统架构的演变。

底层原则仍然可识别：初始化硬件、建立内存管理、配置中断、创建进程、提供文件系统访问，并向用户空间暴露受控接口。

主要区别在于实现的规模和复杂程度。

🚀 实用内核开发工作流

#

严谨的内核开发工作流应分离源码修改、编译、部署和测试。

典型实验周期为：

源码修改
       |
       v
内核配置
       |
       v
编译 / 模块构建
       |
       v
静态验证
       |
       v
QEMU / 虚拟机部署
       |
       v
运行时测试
       |
       v
内核日志 + GDB
       |
       +----> 修复 / 迭代

对于外部模块，周期更短：

编辑 .c / Makefile
       |
       v
make
       |
       v
insmod
       |
       v
测试
       |
       v
dmesg / 跟踪
       |
       v
rmmod

将实验性内核工作保持在虚拟机或仿真器中，可大幅降低有故障驱动、无效内存访问、同步错误或不正确系统调用实现相关的风险。

🔍 结论

#

Linux 内核开发需要理解内核架构以及用于构建和调试它的工具。

对于现代内核，Kbuild 提供了编译内核和外部模块的结构化机制，而架构特定构建参数支持交叉编译和可重现的树外构建。

内核模块提供了进入内核空间开发的实用入口点，而无需修改整个内核镜像。自定义系统调用更进一步，演示了用户空间程序如何通过系统调用边界与新实现的内核功能交互。

Linux 0.11 提供了互补的视角。其紧凑的启动和初始化路径使追踪从 BIOS 加载的汇编代码到保护模式、分页、中断设置、进程初始化和文件系统挂载的过渡成为可能。

综合来看，这些主题为内核开发者提供了有用的进阶路径：理解内核架构、可重现地构建它、开发模块、修改内核接口，并使用虚拟化和底层调试从第一条指令开始调查执行。