3. Overlay机制原理
设备树Overlay（Device Tree Overlay，简称DTO）是Linux内核提供的一种在系统运行时对已有设备树进行增量修改的机制。它允许开发者在不重新编译完整设备树、不重启系统的前提下，向内核动态添加、修改或删除设备树节点，从而让新硬件、新接口或新功能在运行时被内核识别并驱动。理解Overlay的运行时加载原理，是掌握动态设备树工程的核心。
一、核心原理：从FDT到Overlay的运行时合并
Linux内核在启动阶段会把Bootloader传递的设备树二进制文件（DTB）解析为内核内部的device_node树，并进一步展开为platform_device等设备对象。Overlay机制的关键在于：内核保留了原始设备树的内存副本，并提供了of_overlay_apply()接口，允许在运行时将一段独立的FDT片段（即Overlay DTB）合并到现有设备树中。
Overlay文件本身也是一个符合DTS语法的源文件，经过dtc编译后生成.dtbo文件。它通过fragment@N节点描述“要修改哪个目标节点”以及“如何修改”。每个fragment包含两个关键子节点：
target或target-path：指定要修改的原始设备树节点，通常使用&label引用或绝对路径。__overlay__：描述要添加或修改的内容，其内部结构与普通设备树节点一致。
内核在应用Overlay时，会执行以下步骤：解析.dtbo中的fragment；根据target定位原始设备树中的节点；将__overlay__中的属性、子节点合并到目标节点；最后触发设备树通知链（notifier chain），让已注册的驱动或子系统感知变化并执行probe或remove操作。
关键点：Overlay不是替换整棵设备树，而是“打补丁”。原始设备树中未被Overlay触及的节点保持不变，这保证了系统基础设备的稳定性。
二、动态Overlay的运行时加载流程
在用户空间，Overlay的加载通常通过configfs接口完成。内核需要开启CONFIG_OF_OVERLAY，并在挂载configfs后创建overlay目录。典型操作流程如下：
# 挂载configfs
mount -t configfs none /sys/kernel/config
# 创建overlay条目
mkdir /sys/kernel/config/device-tree/overlays/my_overlay
# 写入dtbo文件内容
cat my_overlay.dtbo > /sys/kernel/config/device-tree/overlays/my_overlay/dtbo
# 查看状态
cat /sys/kernel/config/device-tree/overlays/my_overlay/status
# 卸载Overlay
rmdir /sys/kernel/config/device-tree/overlays/my_overlay当dtbo被写入后，内核立即执行合并操作。如果合并成功，status会显示applied；如果失败，则返回错误码，常见原因包括target节点不存在、属性冲突或内存不足。卸载时，内核会回滚该Overlay引入的所有节点和属性，并再次通知驱动进行清理。
除了configfs，部分平台也支持通过内核模块方式加载Overlay，即在模块初始化时调用of_overlay_fdt_apply()，将编译进模块的DTB片段动态应用。这种方式适合与驱动强绑定的场景。
三、与静态设备树的区别
静态设备树是系统启动时由Bootloader一次性加载的完整硬件描述，所有节点在启动阶段就已完成解析和驱动匹配。而Overlay是在系统运行过程中动态修改设备树，二者在多个维度上存在显著差异。
| 对比维度 | 静态设备树 | 动态Overlay |
|---|---|---|
| 加载时机 | 系统启动阶段，由Bootloader加载 | 系统运行时，由用户空间或内核模块触发 |
| 修改方式 | 重新编译DTB并重启 | 编译dtbo后动态合并，无需重启 |
| 影响范围 | 整棵设备树 | 仅目标节点及其子节点 |
| 驱动响应 | 启动时统一probe | 通过notifier触发probe/remove |
| 调试便利性 | 需重启验证，周期长 | 可反复加载卸载，快速迭代 |
| 典型场景 | 板级固定外设 | 扩展板、FPGA动态重构、热插拔模块 |
从工程角度看，静态设备树适合描述“板上固有、不会变化”的硬件；Overlay则适合描述“可选、可插拔、运行时才确定”的硬件。二者并非替代关系，而是互补关系。
四、适用场景与限制
Overlay的典型适用场景包括：
- 扩展板/子板：主控板通过排针连接不同功能子板，每个子板自带dtbo，插入后动态加载对应Overlay。
- FPGA动态重构：FPGA加载不同bitstream后，其内部外设地址和中断号发生变化，通过Overlay同步更新设备树描述。
- 热插拔模块：如Camera模块、无线模块，在插入后由用户空间服务加载Overlay，触发驱动probe。
- 快速原型验证：开发阶段频繁调整外设参数，使用Overlay避免每次修改都重启系统。
限制与注意事项：
- Overlay只能修改已存在的target节点，无法创建全新的根节点或与原始设备树完全无关的拓扑。
- 属性冲突可能导致合并失败，例如同一属性被重复定义且类型不一致。
- 并非所有驱动都支持动态probe/remove，部分驱动在remove时可能无法完全释放资源。
- Overlay的卸载顺序必须与加载顺序相反，否则可能因依赖关系导致回滚失败。
- 内核版本差异较大，早期内核的Overlay接口不完善，建议使用4.19及以上版本。
五、案例复盘：一个典型的Overlay加载失败
某项目中，开发者编写了一个为I2C扩展芯片添加节点的Overlay，target指向&i2c1。加载时status返回failed，内核日志提示OF: overlay: target node not found。排查发现，原始设备树中I2C1节点被标记为status = "disabled"，且其label在编译时被优化掉，导致Overlay无法通过label定位。解决方案是在原始设备树中保留label，并确保I2C控制器已启用。该案例说明：Overlay的target定位依赖于原始设备树中节点的可寻址性，label和路径必须稳定存在。
总结来说，动态Overlay为Linux设备树带来了“运行时可配置”的能力，它把设备树从静态的启动描述文件，扩展为可动态演进的硬件抽象层。掌握其加载原理、与静态设备树的边界、以及适用场景与限制，是构建灵活嵌入式系统的关键一步。