* Copyright 2003-2007, Axel DΓΆrfler, axeld@pinc-software.de. All rights reserved.
* Distributed under the terms of the MIT License.
*/
#include <boot/platform.h>
extern bool gShowMenu;
uint32
platform_boot_options(void)
{
return gShowMenu ? BOOT_OPTION_MENU: 0;
}
status_t
platform_init_video(void)
{
return B_OK;
}
void
platform_switch_to_logo(void)
{
}
void
platform_switch_to_text_mode(void)
{
}
extern "C" status_t
boot_arch_elf_relocate_rel(struct preloaded_image *image, Elf32_Rel *rel,
int rel_len)
{
return B_ERROR;
}
extern "C" status_t
boot_arch_elf_relocate_rela(struct preloaded_image *image, Elf32_Rela *rel,
int rel_len)
{
return B_ERROR;
}