From 6d35c6e7066fbc6570babb258715fc9cd882875c Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Thu, 2 Mar 2023 17:04:10 +1100
Subject: [PATCH] tool: fix value of seL4_MaxUntypedBits

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 tool/microkit/util.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/microkit/util.py b/tool/microkit/util.py
index b055e599..57e91f2b 100644
--- a/tool/microkit/util.py
+++ b/tool/microkit/util.py
@@ -65,7 +65,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 = []