Add ARM64 bare-metal hypervisor blog post to Project/Tooling Updates

[willamhou]

Suggests one entry under ### Project/Tooling Updates for the 2026-04-22 draft:

• ARM64 Bare-Metal Hypervisor in Rust: From Zero to S-EL2 SPMC

An ARM64 Type-1 bare-metal hypervisor written in no_std Rust with ARM64 assembly. Runs at EL2, manages guest VMs at EL1 on QEMU virt. Boots Linux 6.12.12 to BusyBox shell with 4 vCPUs, virtio-blk storage, and virtio-net inter-VM networking. Implements an S-EL2 SPMC (replacing Hafnium) with FF-A v1.1, multi-SP dispatch, SP-to-SP messaging and memory sharing, and integrates with pKVM at NS-EL2. 457 test assertions across 34 test suites, 20/20 BL33 integration tests, 35/35 pKVM ffa_test.ko tests.

Source: https://github.com/willamhou/hypervisor

Not paywalled. No email capture.

[willamhou]

Follow-up: here are two blog posts from the project that might fit better for the Blog Posts / Project Updates section (both are standalone technical write-ups, not just project pages):

Blog post 1 — architecture + war stories:
Two Hypervisors, One SoC: Replacing Hafnium with 30K Lines of Rust

Covers the architecture of running a Rust S-EL2 SPMC alongside Android pKVM at NS-EL2, four war stories (NEON SIMD trap at EL2, NS/S address space split, stale cache across worlds, per-CPU SPMD handshake), and Rust-at-EL2 observations. ~15 min read.

Blog post 2 — Rust technical deep dive:
Rust 的 match 穷尽性在状态机里没想象中好使 (Chinese)

A focused discussion of where Rust's exhaustiveness checking actually helps vs doesn't in bare-metal code: state-machine cartesian-product match with _ => false fallback, #[repr(u8)] enums for atomic CAS, and where Rust's guarantees reduce to what you'd get from C with -Wswitch-enum + -Werror. ~8 min read. English translation coming.

Both posts are not paywalled and have no email capture.