From 9a22e40b4690a62085df155240d34b7fc59449ab Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Sun, 30 Jun 2024 12:26:54 +1000 Subject: [PATCH] config.py: update comment to reflect kernel assert The ELF loader may well be satisfied with a smaller alignment, but the compile time assert in the kernel requires super section alignment for physBase. Signed-off-by: Gerwin Klein --- tools/hardware/config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/hardware/config.py b/tools/hardware/config.py index a4fe531d9..1922ef723 100644 --- a/tools/hardware/config.py +++ b/tools/hardware/config.py @@ -54,7 +54,7 @@ class ARMConfig(Config): 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. ''' + ''' On AArch32 the kernel requires at least super section alignment for physBase. ''' return self.SUPERSECTION_BITS def align_memory(self, regions: Set[Region]) -> List[Region]: