Stars
Modern embedded framework, using Rust and async.
Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
Working Draft of the RISC-V Debug Specification Standard
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
The Grimoire Hypervisor solution for x86 Processors with experimental nested virtualization support. Remastering with Rust in progress.
AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.
This git contains the official documentation for the OP-TEE project
PRTOS Hypervisor is a lightweight, open-source embedded hypervisor
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.
Based on The Minimalist Entrepreneur by Sahil Lavingia
Lightweight coding agent that runs in your terminal
AkiraOS is a modular, security-focused embedded platform for resource-constrained devices. Built on Zephyr RTOS with WebAssembly (WASM) runtime support and OCRE container technology
Safety case for the qualification of Bao Hypervisor.
mTower is Trusted Execution Environment specially designed to be used on MicroController Units (MCUs) supporting ARM TrustZone technology (e.g., Cortex-M23/33/35p). mTower operates well under restr…
A 'no_std' RTOS proving that compile-time Typestate Patterns and Static Dispatch can eliminate embedded memory safety failures without performance loss.
Freedom U Software Development Kit (FUSDK)
A Sphinx extension for computer architecture documentation
A Sphinx extension for documenting digital hardware in RST.