AArch64 EL2 hypervisor for QEMU virt that boots at EL2
Validate release topology before archive materialisation
author
vm.fail
date
(Apr 27, 2026, 11:34 AM UTC)
commit
59dd8fec
59dd8fec61a1258666e8b80b8e7aec0f00d34b0e
parent
fdfc52d3
fdfc52d3782f921b548eccc35a537b073c406b8b
vm.fail
date
(Apr 27, 2026, 11:34 AM UTC)
commit
59dd8fec
59dd8fec61a1258666e8b80b8e7aec0f00d34b0e
parent
fdfc52d3
fdfc52d3782f921b548eccc35a537b073c406b8b
+32
+1
Makefile
+1
Makefile
···
148
148
$(CC) -std=c11 -Wall -Wextra -Werror -Iinclude tests/host/test_sysreg_key.c core/sysreg.c core/string.c -o build-host/test_sysreg_key
149
149
build-host/test_sysreg_key
150
150
$(PYTHON) tests/test_log_decode.py
151
+
$(PYTHON) scripts/verify_topology.py
151
152
$(PYTHON) scripts/check_release.py
152
153
153
154
test: all test-host test-diagnostic-smoke
+31
scripts/verify_topology.py
+31
scripts/verify_topology.py
···
1
+
#!/usr/bin/env python3
2
+
from __future__ import annotations
3
+
4
+
from pathlib import Path
5
+
6
+
7
+
ROOT = Path(__file__).resolve().parents[1]
8
+
REQUIRED = [
9
+
"Makefile",
10
+
"README.md",
11
+
"linker.ld",
12
+
"arch/aarch64/entry.S",
13
+
"arch/aarch64/vectors.S",
14
+
"core/main.c",
15
+
"core/trap.c",
16
+
"mm/stage2.c",
17
+
"guest/main.c",
18
+
]
19
+
20
+
21
+
def main() -> int:
22
+
missing = [item for item in REQUIRED if not (ROOT / item).is_file()]
23
+
if missing:
24
+
for item in missing:
25
+
print(f"missing {item}")
26
+
return 1
27
+
return 0
28
+
29
+
30
+
if __name__ == "__main__":
31
+
raise SystemExit(main())