📚 课程目录第2章开发环境搭建

2. 开发环境搭建：基于West工具的SDK安装、Zephyr源码获取、编译与烧录流程

Zephyr RTOS 的构建系统以 West（Zephyr’s meta-tool）为核心编排工具。West 负责源码清单管理、SDK 安装、构建配置与烧录调度。本章将完整演示从零搭建 Zephyr 开发环境的标准流程，并重点说明与驱动并发安全调试相关的工具链配置要点。

前置检查： 确保主机已安装 Python 3.8+、pip、Git 以及 CMake（≥3.20）。Windows 用户建议使用 West CMD 或 WSL2 以获得最佳兼容性。

2.1 West 工具安装与初始化

West 是 Zephyr 官方推荐的元构建工具，通过 pip 安装后即可管理多仓库源码树。

# 安装 West
pip3 install west

# 验证安装
west --version

初始化 Zephyr 工作空间时，West 会根据 west.yml 清单文件拉取所有依赖仓库（包括 Zephyr 内核、hal、工具链等）。

# 创建并进入工作目录
mkdir zephyr_project && cd zephyr_project

# 初始化（使用官方主分支）
west init -m https://github.com/zephyrproject-rtos/zephyr --mr main

# 更新并拉取所有模块
west update

  关键路径： 初始化后，zephyr_project/ 目录结构如下：
  zephyr/ — 内核源码、驱动框架、设备树绑定
modules/ — HAL、加密库、文件系统等外部模块
tools/ — 调试与仿真工具
west.yml — 清单文件，定义所有依赖的版本锁定

2.2 Zephyr SDK 安装与工具链配置

Zephyr SDK 提供交叉编译工具链、QEMU 仿真器、OpenOCD 调试器等。SDK 版本需与 Zephyr 主分支匹配。

组件	说明	版本要求（Zephyr 3.7+）
交叉编译器	arm-none-eabi-gcc / riscv64-unknown-elf-gcc	≥ 12.2
QEMU	板级仿真，用于无硬件调试	≥ 8.0
OpenOCD	JTAG/SWD 调试代理	≥ 0.12
pyocd	CMSIS-DAP 调试器支持	≥ 0.36

# 下载并安装 SDK（以 Linux x86_64 为例）
wget https://github.com/zephyrproject-rtos/sdk-ng/releases/download/v0.16.8/zephyr-sdk-0.16.8_linux-x86_64.tar.xz

# 解压到 /opt
sudo tar xf zephyr-sdk-0.16.8_linux-x86_64.tar.xz -C /opt

# 运行安装脚本
cd /opt/zephyr-sdk-0.16.8
sudo ./setup.sh

# 设置环境变量（建议写入 ~/.bashrc）
export ZEPHYR_SDK_INSTALL_DIR=/opt/zephyr-sdk-0.16.8
export ZEPHYR_TOOLCHAIN_VARIANT=zephyr

并发调试注意事项： 若后续需要调试驱动并发竞争问题，建议在 SDK 安装后额外安装 Segger J-Link 或 ST-Link 的 GDB 服务器，并确保 west debug 命令能正确调用硬件调试器。SDK 自带的 OpenOCD 对多核调试支持有限，建议升级至 0.12+。

2.3 编译第一个示例：blinky

以 samples/basic/blinky 为例，演示从编译到烧录的完整流程。该示例驱动一个 GPIO LED，是验证环境是否正确的“Hello World”。

# 进入 blinky 示例目录
cd zephyr/samples/basic/blinky

# 编译（以 nrf52840dk_nrf52840 开发板为例）
west build -b nrf52840dk_nrf52840 .

# 烧录
west flash

编译成功后，终端会输出固件大小与内存布局。若使用 QEMU 仿真，可执行：

# 使用 QEMU 仿真（以 qemu_cortex_m3 为例）
west build -b qemu_cortex_m3 .
west build -t run

  构建产物说明：
  build/zephyr/zephyr.elf — 带符号的 ELF 文件，用于 GDB 调试
build/zephyr/zephyr.hex — Intel HEX 格式，用于烧录
build/zephyr/zephyr.bin — 纯二进制镜像
build/zephyr/.config — 最终 Kconfig 配置

2.4 设备树与 Kconfig 联合配置

Zephyr 的硬件描述通过 设备树（DTS） 实现，而功能开关通过 Kconfig 控制。两者在构建时联合生成最终的驱动配置。

配置层	文件类型	作用域	修改方式
设备树（DTS）	`.dts` / `.dtsi` / `.overlay`	硬件拓扑、寄存器地址、中断号、引脚复用	板级 DTS 或应用 overlay
Kconfig	`Kconfig` / `.config`	功能使能、驱动选择、堆栈大小、调试选项	`west build -t menuconfig`
联合产物	`zephyr.dts` / `autoconf.h`	编译时宏定义与设备树二进制	自动生成

在驱动并发安全调试场景中，建议在 prj.conf 中开启以下 Kconfig 选项：

# 启用内核对象调试
CONFIG_DEBUG=y
CONFIG_THREAD_MONITOR=y
CONFIG_OBJECT_TRACING=y

# 启用互斥量与信号量跟踪
CONFIG_MUTEX_BRIEF=y
CONFIG_SEMAPHORE_BRIEF=y

# 启用栈溢出检测
CONFIG_STACK_SENTINEL=y

设备树覆盖（Overlay）技巧： 当需要为特定驱动添加并发测试节点时，可在应用目录下创建 boards/<board_name>.overlay 文件，无需修改板级 DTS。例如添加一个虚拟 SPI 设备用于并发压力测试。

2.5 烧录与调试后端选择

West 支持多种烧录后端，通过 west flash --runner <runner> 指定。常用 runner 如下：

Runner	适用调试器	并发调试能力	推荐场景
nrfjprog	J-Link（Nordic 专用）	支持多核暂停	nRF5x 系列开发板
openocd	FTDI / ST-Link / CMSIS-DAP	需配置多核支持	通用 ARM 开发板
pyocd	CMSIS-DAP	支持多核调试	ARM Cortex-M 系列
jlink	J-Link（通用）	原生多核支持	专业调试场景
qemu	无硬件	单核仿真	无硬件时的功能验证

# 使用 OpenOCD 烧录
west flash --runner openocd

# 使用 J-Link 烧录并启动 GDB 服务器
west flash --runner jlink --gdb-port 2331

# 仅烧录不调试
west flash --runner nrfjprog --softreset

并发调试关键配置： 若使用 OpenOCD 调试多核系统（如 nRF5340 的双核架构），必须在 openocd.cfg 中显式声明第二个核的 TAP 和 GDB 端口，否则 West 默认只连接第一个核。建议在板级 DTS 中检查 cpu 节点数量，确保调试器配置与之匹配。

2.6 环境验证清单

完成上述步骤后，执行以下命令验证环境完整性：

# 1. 检查 West 版本
west --version

# 2. 检查 SDK 工具链
arm-none-eabi-gcc --version

# 3. 编译并运行 blinky（QEMU）
west build -b qemu_cortex_m3 samples/basic/blinky
west build -t run

# 4. 检查设备树生成
west build -b nrf52840dk_nrf52840 samples/basic/blinky
cat build/zephyr/zephyr.dts | head -50

若所有命令均无报错，且 QEMU 窗口显示 LED 闪烁日志，则开发环境搭建成功。

  下一步准备： 环境就绪后，第 3 章将深入设备树绑定（Bindings）与驱动模型，讲解如何为自定义外设编写 DTS 绑定，并利用 DEVICE_DT_DEFINE 宏实现驱动实例化——这是驱动并发安全分析的基础数据结构。