Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

tools: fix kernel physBase alignment on AArch64

Browse Source 
Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan-Velickovic
2025-03-13 13:55:49 +11:00
committed by Gerwin Klein
parent f02bc94db8
commit 53ed1bef7b
1 changed files with 10 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
tools/hardware/config.py
View File

@@ -37,11 +37,18 @@ class ARMConfig(Config):
def __init__(self, sel4arch, addrspace_max):
super().__init__(sel4arch, addrspace_max)
self.SUPERSECTION_BITS = 25 if sel4arch == 'arm_hyp' else 24
# On AArch32 the kernel requires at least super section alignment for physBase.
# Page sizes differ on arm_hyp which is why the alignment changes even though
# both arm_hyp and arm are 32-bit.
if sel4arch == 'arm_hyp':
self.KERNEL_PHYS_ALIGN = 25
elif sel4arch == 'aarch32':
self.KERNEL_PHYS_ALIGN = 24
else:
self.KERNEL_PHYS_ALIGN = 0
def get_kernel_phys_align(self) -> int:
''' On AArch32 the kernel requires at least super section alignment for physBase. '''
return self.SUPERSECTION_BITS
return self.KERNEL_PHYS_ALIGN
class RISCVConfig(Config):