vm.fail / ariel
AArch64 EL2 hypervisor for QEMU virt that boots at EL2
1
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

Add stage two table arena initialisation invariants

author vm.fail date (Apr 1, 2026, 2:33 PM UTC) commit b0a7b9c7 parent 3e2bba30
+11
+2
Makefile
··· 141 141 build-host/test_hv_types 142 142 $(CC) -std=c11 -Wall -Wextra -Werror -Iinclude tests/host/test_hv_interval.c -o build-host/test_hv_interval 143 143 build-host/test_hv_interval 144 + $(CC) -std=c11 -Wall -Wextra -Werror -Iinclude tests/host/test_qemu_virt.c -o build-host/test_qemu_virt 145 + build-host/test_qemu_virt 144 146 $(PYTHON) tests/test_log_decode.py 145 147 $(PYTHON) scripts/check_release.py 146 148
+9
tests/host/test_qemu_virt.c
··· 1 + #include "hv/qemu_virt.h" 2 + 3 + #include <assert.h> 4 + 5 + int main(void) 6 + { 7 + assert(qemu_virt_guest_layout_valid()); 8 + return 0; 9 + }