From 14276f5058bbaf15dc62e38bcdd34a6e68e778f8 Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Tue, 21 Mar 2023 01:22:45 +0100 Subject: [PATCH] libsel4vmmplatsupport: use vm->entry - Remove hard coded address here also. - Add comment about zImage usage in Linux Signed-off-by: Axel Heider --- libsel4vmmplatsupport/src/arch/arm/guest_image.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/libsel4vmmplatsupport/src/arch/arm/guest_image.c b/libsel4vmmplatsupport/src/arch/arm/guest_image.c index 3fea2fc66..672711acb 100644 --- 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: