![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <stdint.h>
Go to the source code of this file.
Functions | |
void | maincpu_setup (void) |
Variables | |
u32 | maincpu_stack_pointer |
u32 | maincpu_entry_point |
|
extern |
Referenced by clock_cpu0_config().
|
extern |
Referenced by clock_cpu0_config().