tool: fix value of seL4_MaxUntypedBits

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jan 27, 2024 · 1516b7d · 1516b7d
1 parent a4a9684
commit 1516b7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tool/microkit/util.py b/tool/microkit/util.py
@@ -66,7 +66,7 @@ class MemoryRegion:
     end: int
 
     def aligned_power_of_two_regions(self) -> List["MemoryRegion"]:
-        max_bits = 40
+        max_bits = 47
         # Align
         # find the first bit self
         r = []