From da64809e652f91fc83b0d05bbfc65ecf415e4331 Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Tue, 24 May 2022 12:38:28 +0200 Subject: [PATCH] print slots for extra boot info pages Signed-off-by: Axel Heider --- libsel4debug/src/bootinfo.c | 1 + 1 file changed, 1 insertion(+) diff --git a/libsel4debug/src/bootinfo.c b/libsel4debug/src/bootinfo.c index 945aa0a5e..ea4b47e44 100644 --- 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",