coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <arch/exception.h>
#include <arch/hlt.h>
#include <console/console.h>
#include <program_loading.h>
#include <security/vboot/vboot_common.h>
Go to the source code of this file.
Functions | |
void __weak | verstage_mainboard_init (void) |
void | main (void) |
Definition at line 14 of file verstage.c.
References BIOS_DEBUG, CONFIG, console_init(), exception_init(), hlt(), printk, run_romstage(), verstage_main(), and verstage_mainboard_init().
Referenced by car_stage_entry(), and stage_entry().
Definition at line 9 of file verstage.c.