![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Go to the source code of this file.
Functions | |
void | do_board_reset (void) |
Definition at line 7 of file reset.c.
References BIOS_ERR, printk, RESET_TYPE_COLD, and svc_reset_system().