|
|
@ -437,11 +437,10 @@ static boot_os_fn *boot_os[] = { |
|
|
|
}; |
|
|
|
}; |
|
|
|
|
|
|
|
|
|
|
|
/* Allow for arch specific config before we boot */ |
|
|
|
/* Allow for arch specific config before we boot */ |
|
|
|
static void __arch_preboot_os(void) |
|
|
|
__weak void arch_preboot_os(void) |
|
|
|
{ |
|
|
|
{ |
|
|
|
/* please define platform specific arch_preboot_os() */ |
|
|
|
/* please define platform specific arch_preboot_os() */ |
|
|
|
} |
|
|
|
} |
|
|
|
void arch_preboot_os(void) __attribute__((weak, alias("__arch_preboot_os"))); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
int boot_selected_os(int argc, char * const argv[], int state, |
|
|
|
int boot_selected_os(int argc, char * const argv[], int state, |
|
|
|
bootm_headers_t *images, boot_os_fn *boot_fn) |
|
|
|
bootm_headers_t *images, boot_os_fn *boot_fn) |
|
|
|