![]() |
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 | exception_init (void) |
void | set_vbar (uint32_t vbar) |
Definition at line 120 of file exception.c.