用途:面向嵌入式 Rust 固件交付,指导在明确硬件事实后再选择抽象与框架,覆盖便携 no_std 库或驱动、特定 MCU/开发板固件、板级支持或启动代码,以及通常使用 std 的嵌入式 Linux 应用等交付类型。
主要能力:强制先记录硬件契约,包括 MCU 型号、架构、板卡版本、目标三元组、工具链/MSRV、运行时与 HAL/PAC/BSP/embedded-hal 版本、Flash/RAM 布局、调试探针、时钟与引脚复用、并发模型、可观测通道和验收步骤。流程分为建立构建基线与硬件基础、建立最小启动路径、把便携逻辑与板级连线分离、选择并发模型、增强可观测性与失败策略、分层验证。
使用方式:先检查仓库配置与目标,可用 rustc --version --verbose、rustup target list --installed、cargo metadata --format-version 1、cargo tree -e features 定位 .cargo/config.toml、linker 脚本、memory.x、build.rs 与烧录命令。常用门禁包括 cargo fmt --all -- --check、cargo clippy 与 cargo build、cargo size;仅当已配置 runner 且确认硬件目标后再执行烧录或运行,烧录会改变设备状态。
限制:不得把某开发板示例代码当作可移植,不得在无硬件证据时声称固件可用;内存布局与引脚配置不确定时不得编造数值;DMA、寄存器和 unsafe 不变量需以 SAFETY 注释记录;复杂并发语义、FFI 与测试等有明确移交边界。若验证时无真实硬件,应标注为“仅构建验证”。