boot: clear freeIndex for memory untypeds

This clears freeIndex for memory untypeds created upon boot so that it can be used for free space calculation right after boot. The param for device untypeds is same as before. Signed-off-by: Yanfeng Liu <yfliu2008@qq.com>
seL4 · Dec 19, 2024 · 45d72ef · 45d72ef
1 parent ae077fd
commit 45d72ef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/kernel/boot.c b/src/kernel/boot.c
@@ -693,7 +693,7 @@ BOOT_CODE static bool_t provide_untyped_cap(
             .isDevice = device_memory,
             .padding  = {0}
         };
-        ut_cap = cap_untyped_cap_new(MAX_FREE_INDEX(size_bits),
+        ut_cap = cap_untyped_cap_new(device_memory ? MAX_FREE_INDEX(size_bits) : 0,
                                      device_memory, size_bits, pptr);
         ret = provide_cap(root_cnode_cap, ut_cap);
     } else {