揭秘嵌入式Linux设备树配置：如何高效编写C语言驱动并加载内核模块

关注

原创最新推荐文章于 2026-09-08 15:32:40 发布 969 阅读 AI 写同款· GEO 优化 ›

嵌入式Linux设备树(DTS)详解：从硬件描述到驱动匹配的完整指南在嵌入式Linux开发中，硬件描述与驱动匹配是系统启动和运行的基础。传统的内核硬编码方式将硬件信息直接写入驱动代码，导致内核镜像与特定硬件板卡强耦合，难以适配多种硬件变体。设备树（Device Tree）技术应运而生，其核心原理是将硬件描述从内核代码中剥离，形成独立的、结构化的配置文件（DTS文件），实现硬件描述的“软配置”。这一机制为内核提供了标准化的硬件清单，使得同一内核镜像能够动态适配不同外设配置的板卡，极大地提升了代码的复用性和可维护性。其技术价值在于实现了硬件与驱动解耦，支持模块化开发和分层描述（阅读详情

第一章：嵌入式Linux设备树与驱动开发概述

在现代嵌入式Linux系统中，设备树（Device Tree）已成为硬件描述的核心机制，取代了传统内核中静态编译的硬件信息配置方式。它通过分离硬件描述与内核代码，提升了系统的可移植性和灵活性，尤其适用于多平台支持的场景。

设备树的基本结构

设备树源文件（.dts）以文本形式描述硬件资源，包括CPU、内存、总线、外设等。编译后生成二进制格式的设备树Blob（.dtb），由引导加载程序传递给内核解析。其核心组件包括：

节点（Node）：代表一个硬件实体，如&i2c1
属性（Property）：描述节点的特征，如compatible、reg
兼容性字符串：决定驱动匹配的关键，例如"fsl,imx6ul-i2c"

驱动与设备树的匹配机制

Linux内核使用of_match_table来实现设备树节点与驱动的绑定。驱动程序通过以下结构声明支持的设备：


static const struct of_device_id my_driver_of_match[] = {
    { .compatible = "vendor,my-device", },
    { /* sentinel */ }
};
MODULE_DEVICE_TABLE(of, my_driver_of_match);

当内核解析设备树时，会查找compatible属性与驱动表中条目匹配的节点，并触发驱动的probe函数。

设备树与平台数据对比

特性	设备树	传统平台数据
可维护性	高（外部配置）	低（硬编码于内核）
跨平台支持	优秀	差
编译依赖	无需重新编译内核	需重新编译

graph TD A[Bootloader] -->|加载| B(.dtb文件) B --> C[内核解析设备树] C --> D[创建platform_device] D --> E[匹配platform_driver] E --> F[执行probe函数]

第二章：设备树基础与硬件描述配置

2.1 设备树基本结构与DTS语法详解

设备树（Device Tree）是一种描述硬件资源与层次关系的数据结构，广泛应用于嵌入式Linux系统中。它通过DTS（Device Tree Source）文件定义硬件信息，由编译器转换为二进制DTB文件供内核解析。

DTS基本语法结构

DTS文件由节点和属性构成，节点用大括号包裹，属性以键值对形式存在。例如：


/ {
    model = "My Embedded Board";
    compatible = "vendor,board";

    soc {
        #address-cells = <1>;
        #size-cells = <1>;

        uart0: serial@10000000 {
            compatible = "snps,dw-apb-uart";
            reg = <0x10000000 0x1000>;
            interrupts = <0 34 4>;
        };
    };
};

上述代码定义了一个基于SoC的串口控制器。`model` 描述板型，`compatible` 指明设备兼容性；`#address-cells` 和 `#size-cells` 表示子节点地址与大小字段的单元数；`reg` 定义寄存器地址与长度，`interrupts` 描述中断号与类型。

常用属性说明

compatible：驱动匹配的关键，格式为“厂商,设备”
reg：设备寄存器物理地址与长度
interrupts：中断配置，包含中断号、触发方式等

2.2 如何为新硬件编写设备树节点

在嵌入式Linux系统中，设备树（Device Tree）用于描述硬件的物理连接和资源配置。为新硬件添加节点时，首先需确定其总线类型（如I2C、SPI或GPIO），并在对应父节点下声明。

基本节点结构

i2c1 {
    clock-frequency = <100000>;
    my_sensor: sensor@48 {
        compatible = "myvendor,sensor";
        reg = <0x48>;
        interrupts = <9 2>;
    };
};

上述代码定义了一个挂载在I2C1总线上的传感器。`compatible`属性用于匹配驱动程序，`reg`表示设备地址，`interrupts`指定中断线。

关键属性说明

compatible：驱动匹配的关键，格式为"制造商,型号"
reg：设备在总线中的地址
interrupts：连接的中断号与触发类型

正确编写设备树节点可确保内核准确识别并初始化硬件。

2.3 设备树与平台数据的绑定机制

在嵌入式Linux系统中，设备树（Device Tree）承担着描述硬件平台资源的关键角色。它通过分层结构定义外设、内存映射和中断配置，使内核无需硬编码即可适配不同硬件。

绑定流程解析

设备树节点通过兼容性字符串（compatible）与驱动程序匹配。内核启动时解析设备树，查找具有匹配字符串的节点，并将其作为平台数据传递给驱动。


uart@101f1000 {
    compatible = "arm,pl011";
    reg = <0x101f1000 0x1000>;
    interrupts = <0 24 4>;
};

上述设备树片段描述了一个UART控制器，其 compatible 值将触发内核中对应驱动的绑定。驱动通过 of_match_table 匹配该字符串，获取寄存器基地址与中断号。

数据传递机制

平台数据可通过设备树属性传入驱动，例如：

reg：定义寄存器地址范围
interrupts：指定中断号与触发类型
clocks：关联时钟资源

这种机制实现了硬件描述与驱动逻辑的解耦，提升了代码复用性与可维护性。

2.4 编译设备树并集成到内核启动流程

设备树（Device Tree）是描述硬件资源的结构化数据，Linux 内核通过它实现与平台的解耦。在嵌入式系统中，需将 `.dts` 源文件编译为二进制格式的 `.dtb` 文件。

编译设备树源文件

使用设备树编译器 `dtc` 将文本格式转换为二进制：

dtc -I dts -O dtb -o myboard.dtb myboard.dts

其中 `-I dts` 指定输入为源格式，`-O dtb` 表示输出目标为二进制，生成的 `.dtb` 可被引导加载程序加载。

集成到内核启动流程

U-Boot 等引导程序在启动时将 `.dtb` 加载至内存指定地址，并在调用内核时传递其物理地址。内核启动阶段解析设备树，动态注册平台设备。常见设备树映射关系如下表所示：

节点名称	功能描述	对应驱动
/soc/uart@1000	串口控制器	serial8250
/memory	系统内存布局	memblock

2.5 实践：在开发板上验证设备树加载

在嵌入式Linux系统中，设备树（Device Tree）用于描述硬件资源。为确保内核正确解析设备信息，需在目标开发板上验证设备树的加载情况。

准备设备树源文件

确保编译生成的 `.dtb` 文件已烧录至开发板。设备树源码通常位于内核源码的 `arch/arm/boot/dts/` 路径下，例如：


// 示例：exynos4412-itop.dts
/dts-v1/;
#include "exynos4412.dtsi"
/ {
    model = "iTop-4412 Development Board";
    compatible = "samsung,itop-4412", "samsung,exynos4412";
};

该代码定义了开发板型号与兼容性字符串，供内核匹配驱动。

通过控制台验证加载

启动开发板并进入串口控制台，执行以下命令查看设备树节点：


# 查看根节点下的设备树信息
cat /sys/firmware/devicetree/base/model

若输出与 `.dts` 中定义的 `model` 一致，则表明设备树成功加载。

确认U-Boot传递的设备树地址正确（通过 `fdtaddr` 环境变量）
检查内核日志：dmesg | grep -i dtb

第三章：C语言编写内核模块驱动

3.1 内核模块的编译环境搭建与Makefile编写

在开发Linux内核模块前，必须配置正确的编译环境。首先确保已安装对应内核版本的头文件和开发工具，通常可通过包管理器安装`linux-headers-$(uname -r)`和`build-essential`。

必备开发工具与依赖

gcc：用于C语言编译
make：执行Makefile构建流程
kernel-devel 或 linux-headers：提供内核构建配置与头文件

标准Makefile模板


obj-m += hello_module.o
KDIR := /lib/modules/$(shell uname -r)/build
PWD := $(shell pwd)
default:
	$(MAKE) -C $(KDIR) M=$(PWD) modules
clean:
	$(MAKE) -C $(KDIR) M=$(PWD) clean

该Makefile通过obj-m指定生成模块目标，-C $(KDIR)进入内核源码树调用其顶层Makefile，M=$(PWD)告知内核构建系统返回当前目录编译模块。此机制复用内核构建规则，确保符号解析与编译选项一致性。

3.2 驱动入口与出口函数实现原理

在Linux内核模块开发中，驱动的入口和出口函数是模块加载与卸载的核心机制。模块通过module_init()和module_exit()宏注册对应的初始化与清理函数。

入口函数：模块初始化

入口函数在模块加载时被调用，负责资源分配、设备注册和硬件初始化。


static int __init my_driver_init(void)
{
    printk(KERN_INFO "My driver loaded\n");
    return 0; // 成功返回0
}
module_init(my_driver_init);

该函数使用__init标记，表明其在初始化后可释放内存。返回值为0表示成功，非零值将导致加载失败。

出口函数：资源释放

出口函数在模块卸载时执行，用于释放申请的资源，防止内存泄漏。


static void __exit my_driver_exit(void)
{
    printk(KERN_INFO "My driver unloaded\n");
}
module_exit(my_driver_exit);

__exit标记确保该函数仅在模块可卸载时保留。若模块静态编译进内核，则该函数被忽略。

3.3 实践：编写最简单的可加载内核模块（Hello World）

模块结构与核心函数

Linux内核模块需定义入口和退出函数，分别在模块加载和卸载时执行。使用module_init()和module_exit()宏注册回调。


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

static int __init hello_init(void)
{
    printk(KERN_INFO "Hello, Kernel!\n");
    return 0;
}

static void __exit hello_exit(void)
{
    printk(KERN_INFO "Goodbye, Kernel!\n");
}

module_init(hello_init);
module_exit(hello_exit);
MODULE_LICENSE("GPL");

上述代码中，printk()用于内核日志输出，KERN_INFO为日志级别。模块必须声明许可证，否则加载时会警告。

编译与加载流程

通过Makefile调用内核构建系统编译模块：

obj-m := hello.o：声明生成模块目标文件
使用make -C /lib/modules/$(uname -r)/build M=$(PWD) modules构建
加载：sudo insmod hello.ko
查看日志：dmesg | tail
卸载：sudo rmmod hello

第四章：设备树与驱动的匹配与交互

4.1 使用of_match_table实现设备树匹配

在Linux内核驱动开发中，`of_match_table`用于实现设备树节点与平台驱动的自动匹配。当系统启动时，内核会根据设备树中的`compatible`属性查找对应的驱动。

匹配表定义方式

驱动通过声明`of_device_id`数组指定支持的设备类型：

static const struct of_device_id example_of_match[] = {
    { .compatible = "vendor,example-device", },
    { /* sentinel */ }
};
MODULE_DEVICE_TABLE(of, example_of_match);

该代码段定义了一个匹配表，其中`compatible`值需与设备树中节点完全一致。内核遍历此表，找到首个匹配项后即绑定设备与驱动。

驱动注册流程

将`of_match_table`赋值给`platform_driver`结构体：

填充`.of_match_table = example_of_match`字段
调用`platform_driver_register()`完成注册
内核依据设备树动态实例化设备并触发probe函数

这种机制实现了硬件描述与驱动逻辑的解耦，提升代码可维护性。

4.2 从设备树中读取寄存器地址与中断资源

在嵌入式Linux系统中，设备树（Device Tree）用于描述硬件资源。驱动程序需从中获取寄存器地址和中断号等关键信息。

获取寄存器地址

使用 `of_iomap()` 函数可通过设备节点映射寄存器区域：


struct resource res;
if (of_address_to_resource(np, 0, &res)) {
    return -ENODEV;
}
void __iomem *base = ioremap(res.start, resource_size(&res));

`of_address_to_resource()` 将设备树中的 reg 属性转换为资源结构体，`res.start` 为物理地址起始值，`resource_size()` 获取地址区间长度。

读取中断资源

通过 `platform_get_irq()` 可直接获取设备中断号：


int irq = platform_get_irq(pdev, 0);
if (irq < 0) {
    return irq;
}

该函数封装了设备树中断解析逻辑，自动调用 `of_irq_get()`，从设备节点的 interrupts 属性中提取中断编号。

4.3 驱动中解析设备树属性（compatible、reg、interrupts等）

在Linux内核驱动开发中，设备树（Device Tree）用于描述硬件资源。驱动程序需通过标准API解析设备树节点中的关键属性。

核心属性解析流程

常见的设备树属性包括 compatible、reg 和 interrupts，分别用于匹配驱动、描述寄存器地址空间和中断资源。


struct device_node *np = of_find_compatible_node(NULL, NULL, "vendor,device");
if (np) {
    if (of_property_read_u32(np, "reg", ®_base))
        return -ENODEV;
    irq = irq_of_parse_and_map(np, 0);
}

上述代码首先通过 of_find_compatible_node 查找匹配的设备节点，再使用 of_property_read_u32 读取寄存器基地址，irq_of_parse_and_map 解析中断号。

常用API与对应属性映射

属性	用途	解析函数
compatible	驱动与设备匹配标识	of_match_node()
reg	内存映射寄存器范围	of_iomap() / of_address_to_resource()
interrupts	中断配置信息	irq_of_parse_and_map()

4.4 实践：基于设备树的LED驱动开发与测试

设备树节点配置

在嵌入式Linux系统中，需先在设备树源文件（.dts）中定义LED硬件信息。示例如下：


leds {
    compatible = "gpio-leds";
    red_led: led-red {
        label = "red";
        gpios = <&gpio1 18 GPIO_ACTIVE_HIGH>;
        default-state = "off";
    };
};

该节点声明了一个受GPIO1_18控制的红色LED，compatible值匹配内核中的通用GPIO LED驱动，gpios属性指定控制引脚。

驱动加载与测试

系统启动后，内核会根据设备树自动注册LED设备。用户可通过sysfs接口控制LED：

/sys/class/leds/red/brightness：写入1点亮，0熄灭
/sys/class/leds/red/trigger：设置触发模式，如timer、heartbeat

此机制实现了硬件配置与驱动代码的解耦，提升了驱动可移植性。

第五章：总结与进阶学习建议

构建持续学习路径

技术演进迅速，保持竞争力的关键在于建立系统化的学习机制。建议每周投入固定时间阅读官方文档、参与开源项目或撰写技术笔记。例如，Go语言开发者可定期查阅 golang.org 的更新日志，并在本地环境验证新特性：


// 示例：使用 Go 泛型简化切片映射
func Map[T, U any](ts []T, f func(T) U) []U {
    result := make([]U, len(ts))
    for i, t := range ts {
        result[i] = f(t)
    }
    return result
}