hardware: ARM HYP vs ARM Hyp consistency

Signed-off-by: June Andronick <june.andronick@proofcraft.systems>
seL4 · Dec 19, 2023 · 8dba742 · 8dba742
1 parent cb5305c
commit 8dba742
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Hardware/arndale.md b/Hardware/arndale.md
@@ -4,7 +4,7 @@ cmake_plat: exynos5250
 xcompiler_arg: -DAARCH32=1
 platform: Arndale
 arch: ARMv7A
-virtualization: ARM Hyp
+virtualization: ARM HYP
 iommu: "No"
 soc: Exynos5
 cpu: Cortex-A15