libsel4vmmplatsupport: use vm->entry

- Remove hard coded address here also. - Add comment about zImage usage in Linux Signed-off-by: Axel Heider <[email protected]>
seL4 · Apr 20, 2023 · 14276f5 · 14276f5
1 parent 2cff1b3
commit 14276f5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/libsel4vmmplatsupport/src/arch/arm/guest_image.c b/libsel4vmmplatsupport/src/arch/arm/guest_image.c
@@ -192,9 +192,10 @@ static uintptr_t load_guest_kernel_image(vm_t *vm, const char *kernel_image_name
         load_addr = vm->entry;
         break;
     case IMG_ZIMAGE:
+        /* zImage is used for 32-bit Linux kernels only. */
         load_addr = ((struct zimage_hdr *)(&header))->start;
         if (0 == load_addr) {
-            load_addr = load_base_addr + 0x8000;
+            load_addr = vm->entry;
         }
         break;
     default: