ARM64 Type-1 bare-metal hypervisor in Rust (no_std) — boots Linux at EL1, FF-A v1.1 SPMC at S-EL2, pKVM integration
Appears on
Quick read
Latest capture 2026-10-14 09:55
Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.
1 path
Agent instructions and tool configuration found in this repository.
Claude Code
1 observed capture since 2026-10-14. Observed captures are shown by default.
Stars from first capture 0
Observed captures only
All tracked data
Observed snapshots
Observed snapshots
Nearest indexed repositories by embedding similarity.
rax is a CPU emulator that checks its own work.
oreboot is a fork of coreboot, with C removed, written in Rust.
AgentBoot — AI agent for bare-metal hardware detection and OS installation. Conversational sysadmin from your phone. Part of P2PCLAW ecosystem.
Turn a $5 Raspberry Pi RP2350 board into an open-source hardware passkey: WebAuthn/FIDO2 logins, ssh & git signing, OpenPGP, PIV, TOTP. Rust firmware, no_std.
Board Support Packages for RP2040 based PCBs
Target atsamd microcontrollers using Rust
