![]() |
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.
Macros | |
#define | SPIKE_CLINT_BASE 0x02000000 |
Functions | |
void | mtime_init (void) |
void | set_msip (int hartid, int val) |
Definition at line 9 of file clint.c.
References HLS, and SPIKE_CLINT_BASE.