AArch64 EL2 hypervisor for QEMU virt that boots at EL2
1

Configure Feed

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

ariel / scripts / verify_topology.py
593 B 31 lines
1#!/usr/bin/env python3 2from __future__ import annotations 3 4from pathlib import Path 5 6 7ROOT = Path(__file__).resolve().parents[1] 8REQUIRED = [ 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 21def 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 30if __name__ == "__main__": 31 raise SystemExit(main())