/* SPDX-License-Identifier: GPL-2.0-only */ | |
#include <arch/exception.h> | |
#include <arch/hlt.h> | |
#include <console/console.h> | |
#include <program_loading.h> | |
#include <security/vboot/vboot_common.h> | |
void __weak verstage_mainboard_init(void) | |
{ | |
/* Default empty implementation. */ | |
} | |
void main(void) | |
{ | |
console_init(); | |
exception_init(); | |
verstage_mainboard_init(); | |
if (CONFIG(VBOOT_RETURN_FROM_VERSTAGE)) { | |
verstage_main(); | |
} else { | |
run_romstage(); | |
hlt(); | |
} | |
} |