Domain Embedded

actionbook/rust-skills/skills/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