tool/microkit: fix SchedContext allocation size

When creating CNodes, the `size` is the (log2) number of CSlots. When creating SchedContexts the `size` is the (log2) size of the object in bytes. Signed-off-by: Mathieu Mirmont <[email protected]>
seL4 · Dec 17, 2024 · 8b340d5 · 8b340d5
1 parent 9bc4568
commit 8b340d5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/tool/microkit/src/main.rs b/tool/microkit/src/main.rs
@@ -385,7 +385,11 @@ impl<'a> InitSystem<'a> {
             let sz = size.unwrap();
             assert!(util::is_power_of_two(sz));
             api_size = sz.ilog2() as u64;
-            alloc_size = sz * SLOT_SIZE;
+            if object_type == ObjectType::CNode {
+                alloc_size = sz * SLOT_SIZE;
+            } else {
+                alloc_size = sz;
+            }
         } else {
             panic!("Internal error: invalid object type: {:?}", object_type);
         }