Skip to content

Add willamhou/hypervisor (ARM64 Rust bare-metal Type-1)#93

Open
willamhou wants to merge 1 commit intoWenzel:masterfrom
willamhou:add-hypervisor
Open

Add willamhou/hypervisor (ARM64 Rust bare-metal Type-1)#93
willamhou wants to merge 1 commit intoWenzel:masterfrom
willamhou:add-hypervisor

Conversation

@willamhou
Copy link
Copy Markdown

What

willamhou/hypervisor — an ARM64 Type-1 bare-metal hypervisor written in Rust (no_std), targeting QEMU virt machine.

Why it belongs here

The awesome-virtualization list is heavily x86-focused. This project fills the ARM64 gap with a from-scratch hypervisor that runs at EL2 and implements real Arm firmware interfaces.

Key features

  • S-EL2 SPMC: replaces Hafnium as the Secure Partition Manager Core (BL32), boots Secure Partitions at S-EL1
  • pKVM coexistence: runs alongside Android pKVM (NS-EL2) in the same TF-A boot chain — 35/35 E2E FF-A tests pass via ffa_test.ko
  • FF-A v1.1: full proxy + SPMC implementation — DIRECT_REQ, MEM_SHARE/LEND/DONATE/RETRIEVE/RELINQUISH/RECLAIM, PARTITION_INFO_GET, notifications, indirect messaging, SP-to-SP routing with cycle detection
  • Linux guest: boots Linux 6.12.12 to BusyBox shell with 4 vCPUs, virtio-blk, virtio-net, GICv3 emulation
  • Multi-VM: 2 Linux VMs time-sliced with per-VM Stage-2, VMID-tagged TLBs, L2 virtual switch
  • 457 test assertions across 34 test suites, 20/20 BL33 integration tests

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant