WIP: debug message about kernel image type

seL4 · Apr 20, 2023 · c2a46e0 · c2a46e0
1 parent e587fd8
commit c2a46e0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/libsel4vmmplatsupport/src/arch/arm/guest_image.c b/libsel4vmmplatsupport/src/arch/arm/guest_image.c
@@ -189,9 +189,11 @@ static void *load_guest_kernel_image(vm_t *vm, const char *kernel_image_name, ui
     /* Determine the load address */
     switch (ret_file_type) {
     case IMG_BIN:
+        ZF_LOGI("Kernel image type is IMG_BIN");
         load_addr = vm->entry;
         break;
     case IMG_ZIMAGE:
+        ZF_LOGI("Kernel image type is IMG_ZIMAGE");
         /* zImage is used for 32-bit Linux kernels only. */
         load_addr = ((struct zimage_hdr *)(&header))->start;
         if (0 == load_addr) {