Domain Embedded

作者 actionbook5c40d3ad7851无许可证1.5K 个星标收录于 2026年10月8日更新于 2026年10月8日仓库6周前更新

Use when developing embedded/no_std Rust. Keywords: embedded, no_std, microcontroller, MCU, ARM, RISC-V, bare metal, firmware, HAL, PAC, RTIC, embassy, interrupt, DMA, peripheral, GPIO, SPI, I2C, UART, embedded-hal, cortex-m, esp32, stm32, nrf, 嵌入式, 单片机, 固件, 裸机

仅含说明Software Development

AI 生成的概览

指导 Rust 嵌入式与 no_std 开发，涵盖约束、框架、crate 与硬件模式。

功能: 该技能为编写嵌入式与 no_std Rust（例如微控制器固件）提供领域指导。它列出无堆分配、中断安全与外设所有权等约束，并对应到 heapless 集合、临界区与 HAL 单例等 Rust 模式。它还比较框架（RTIC、Embassy、裸机）、列出常用 crate，并给出静态外设代码示例与常见错误。产出的是参考性说明，而非文件或脚本。
适用场景: 适用于开发嵌入式或裸机 Rust，包括面向 ARM、RISC-V、STM32、ESP32、nRF 等 MCU 的 no_std 固件。涉及 HAL、PAC、中断、DMA 或外设，或在 RTIC、Embassy 与裸机方案之间做选择时也适用。
运行要求: 无需脚本或工具，仅为说明性内容。它假定处于 Rust 嵌入式项目环境，其注入的上下文会在存在时读取 .cargo/config.toml。

Project Context (Auto-Injected)

Target configuration: !cat .cargo/config.toml 2>/dev/null || echo "No .cargo/config.toml found"

Embedded Domain

Layer 3: Domain Constraints

Domain Constraints → Design Implications

Domain Rule	Design Constraint	Rust Implication
No heap	Stack allocation	heapless, no Box/Vec
No std	Core only	#![no_std]
Real-time	Predictable timing	No dynamic alloc
Resource limited	Minimal memory	Static buffers
Hardware safety	Safe peripheral access	HAL + ownership
Interrupt safe	No blocking in ISR	Atomic, critical sections

Critical Constraints

No Dynamic Allocation

RULE: Cannot use heap (no allocator)WHY: Deterministic memory, no OOMRUST: heapless::Vec<T, N>, arrays

RULE: Cannot use heap (no allocator)WHY: Deterministic memory, no OOMRUST: heapless::Vec<T, N>, arrays

Interrupt Safety

RULE: Shared state must be interrupt-safeWHY: ISR can preempt at any timeRUST: Mutex<RefCell<T>> + critical section

RULE: Shared state must be interrupt-safeWHY: ISR can preempt at any timeRUST: Mutex<RefCell<T>> + critical section

Hardware Ownership

RULE: Peripherals must have clear ownershipWHY: Prevent conflicting accessRUST: HAL takes ownership, singletons

RULE: Peripherals must have clear ownershipWHY: Prevent conflicting accessRUST: HAL takes ownership, singletons

Trace Down ↓

From constraints to design (Layer 2):

"Need no_std compatible data structures"    ↓ m02-resource: heapless collections    ↓ Static sizing: heapless::Vec<T, N>
"Need interrupt-safe state"    ↓ m03-mutability: Mutex<RefCell<Option<T>>>    ↓ m07-concurrency: Critical sections
"Need peripheral ownership"    ↓ m01-ownership: Singleton pattern    ↓ m12-lifecycle: RAII for hardware

"Need no_std compatible data structures"    ↓ m02-resource: heapless collections    ↓ Static sizing: heapless::Vec<T, N>
"Need interrupt-safe state"    ↓ m03-mutability: Mutex<RefCell<Option<T>>>    ↓ m07-concurrency: Critical sections
"Need peripheral ownership"    ↓ m01-ownership: Singleton pattern    ↓ m12-lifecycle: RAII for hardware

Layer Stack

Framework Comparison

Key Crates

Design Patterns

Code Pattern: Static Peripheral

rust

#![no_std]#![no_main]
use cortex_m::interrupt::{self, Mutex};use core::cell::RefCell;
static LED: Mutex<RefCell<Option<Led>>> = Mutex::new(RefCell::new(None));
#[entry]fn main() -> ! {    let dp = pac::Peripherals::take().unwrap();    let led = Led::new(dp.GPIOA);
    interrupt::free(|cs| {        LED.borrow(cs).replace(Some(led));    });
    loop {        interrupt::free(|cs| {            if let Some(led) = LED.borrow(cs).borrow_mut().as_mut() {                led.toggle();            }        });    }}

#![no_std]#![no_main]
use cortex_m::interrupt::{self, Mutex};use core::cell::RefCell;
static LED: Mutex<RefCell<Option<Led>>> = Mutex::new(RefCell::new(None));
#[entry]fn main() -> ! {    let dp = pac::Peripherals::take().unwrap();    let led = Led::new(dp.GPIOA);
    interrupt::free(|cs| {        LED.borrow(cs).replace(Some(led));    });
    loop {        interrupt::free(|cs| {            if let Some(led) = LED.borrow(cs).borrow_mut().as_mut() {                led.toggle();            }        });    }}

Common Mistakes

Mistake	Domain Violation	Fix
Using Vec	Heap allocation	heapless::Vec
No critical section	Race with ISR	Mutex + interrupt::free
Blocking in ISR	Missed interrupts	Defer to main loop
Unsafe peripheral	Hardware conflict	HAL ownership

Trace to Layer 1

Constraint	Layer 2 Pattern	Layer 1 Implementation
No heap	Static collections	heapless::Vec<T, N>
ISR safety	Critical sections	Mutex<RefCell<T>>
Hardware ownership	Singleton	take().unwrap()
no_std	Core-only	#![no_std], #![no_main]

Related Skills

来源与署名

来源：actionbook/rust-skills位于skills/domain-embedded提交5c40d3a

许可证：无许可证

内容归原作者所有。SourceWeft 从公开仓库中收录这些内容。

举报或申请下架

Layer	Examples	Purpose
PAC	stm32f4, esp32c3	Register access
HAL	stm32f4xx-hal	Hardware abstraction
Framework	RTIC, Embassy	Concurrency
Traits	embedded-hal	Portable drivers

Framework	Style	Best For
RTIC	Priority-based	Interrupt-driven apps
Embassy	Async	Complex state machines
Bare metal	Manual	Simple apps

Purpose	Crate
Runtime (ARM)	cortex-m-rt
Panic handler	panic-halt, panic-probe
Collections	heapless
HAL traits	embedded-hal
Logging	defmt
Flash/debug	probe-run

Pattern	Purpose	Implementation
no_std setup	Bare metal	`#![no_std]` + `#![no_main]`
Entry point	Startup	`#[entry]` or embassy
Static state	ISR access	`Mutex<RefCell<Option<T>>>`
Fixed buffers	No heap	`heapless::Vec<T, N>`

When	See
Static memory	m02-resource
Interior mutability	m03-mutability
Interrupt patterns	m07-concurrency
Unsafe for hardware	unsafe-checker

Domain Embedded

Project Context (Auto-Injected)

Embedded Domain

Domain Constraints → Design Implications

Critical Constraints

No Dynamic Allocation

Interrupt Safety

Hardware Ownership

Trace Down ↓

Layer Stack

Framework Comparison

Key Crates

Design Patterns

Code Pattern: Static Peripheral

Common Mistakes

Trace to Layer 1

Related Skills

来源与署名

更多来自 actionbook/rust-skills 的技能

Rust Trait Explorer

Rust Symbol Analyzer

Rust Skill Creator

Rust Router

Rust Refactor Helper

Rust Daily

更多Software Development技能

Playground

M5 Onboard

Cardputer Buddy

Web Design Guidelines

Vercel React Native Skills

Vercel React Best Practices