From d013c8e96a4b83909b818372d1cb730ac148e56f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Axel=20D=C3=B6rfler?= Date: Fri, 25 Jan 2013 23:37:41 +0100 Subject: [PATCH] Possibly fixed BootLoaderTest build. * Adapted to x86_64 changes. --- src/tests/system/boot/loader/platform_start.cpp | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/tests/system/boot/loader/platform_start.cpp b/src/tests/system/boot/loader/platform_start.cpp index cc379b5b4c..66b7fbd69b 100644 --- a/src/tests/system/boot/loader/platform_start.cpp +++ b/src/tests/system/boot/loader/platform_start.cpp @@ -1,5 +1,5 @@ /* - * Copyright 2003-2005, Axel Dörfler, axeld@pinc-software.de. + * Copyright 2003-2013, Axel Dörfler, axeld@pinc-software.de. * Distributed under the terms of the MIT License. */ @@ -25,7 +25,11 @@ platform_exit(void) void platform_start_kernel(void) { - printf("*** jump to kernel at %p ***\n*** program exits.\n", (void *)gKernelArgs.kernel_image.elf_header.e_entry); + preloaded_elf32_image *image = static_cast( + gKernelArgs.kernel_image.Pointer()); + + printf("*** jump to kernel at %p ***\n*** program exits.\n", + (void *)image->elf_header.e_entry); exit(0); } @@ -40,4 +44,3 @@ main(int argc, char **argv) return 0; } -