From c7822a1c1c2a1a0c69c798ce08bfc99e28fc5807 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Wed, 26 Jun 2024 13:35:01 -0400
Subject: [PATCH] config.py: fix SUPERSECTION_BITS for arm_hyp

This addresses #1186

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 tools/hardware/config.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tools/hardware/config.py b/tools/hardware/config.py
index 20f4018d3..a4fe531d9 100644
--- a/tools/hardware/config.py
+++ b/tools/hardware/config.py
@@ -48,7 +48,10 @@ class Config:
 class ARMConfig(Config):
     ''' Config class for ARM '''
     arch = 'arm'
-    SUPERSECTION_BITS = 24  # 2^24 = 16 MiByte
+
+    def __init__(self, sel4arch, addrspace_max):
+        super().__init__(sel4arch, addrspace_max)
+        self.SUPERSECTION_BITS = 25 if sel4arch == 'arm_hyp' else 24
 
     def get_kernel_phys_align(self) -> int:
         ''' on ARM the ELF loader expects to be able to map a supersection page to load the kernel. '''