armv8-m

A powerful ARM Cortex-M runtime code injection tool based on FPB (Flash Patch and Breakpoint)

ARMv8-M/Cortex-M emulator/simulator

UVM 1.2 functional verification environment for ARMv8-M PACBTI, TrustZone, privilege faults, and AHB-Lite behavior

It is a simple safety and Performance oriented RTOS currently available for RP2040

A minimal graphics library for embedded systems

Lean 4-verified algebraic firewall for ARM CDE (Armv8.1-M). Single-cycle F₂ parity-check invariant checker: 79 gates, depth 7, zero sorries. Synthesizable Verilog + C/ACLE driver + HMAC audit chain.

Minimal bare metal Zig for Arm Cortex-M33