2 * Copyright 2003-2007, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
3 * Distributed under the terms of the MIT License.
7 #include <boot/platform.h>
10 extern bool gShowMenu
;
14 platform_boot_options(void)
16 return gShowMenu
? BOOT_OPTION_MENU
: 0;
21 platform_init_video(void)
28 platform_switch_to_logo(void)
34 platform_switch_to_text_mode(void)
43 boot_arch_elf_relocate_rel(struct preloaded_image
*image
, Elf32_Rel
*rel
,
51 boot_arch_elf_relocate_rela(struct preloaded_image
*image
, Elf32_Rela
*rel
,