print slots for extra boot info pages

Signed-off-by: Axel Heider <[email protected]>
seL4 · Feb 22, 2024 · da64809 · da64809
1 parent b66eba7
commit da64809
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/libsel4debug/src/bootinfo.c b/libsel4debug/src/bootinfo.c
@@ -30,6 +30,7 @@ void debug_print_bootinfo(seL4_BootInfo *info)
     print_slot_reg_info("Empty slots:     ", &info->empty);
     print_slot_reg_info("sharedFrames:    ", &info->sharedFrames);
     print_slot_reg_info("userImageFrames: ", &info->userImageFrames);
+    print_slot_reg_info("extraBootInfo:   ", &info->extraBIPages);
     print_slot_reg_info("userImagePaging: ", &info->userImagePaging);
     print_slot_reg_info("untypeds:        ", &info->untyped);
     printf("Initial thread domain: %"SEL4_PRIu_word"\n",