coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
misc.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <delay.h>
4 
5 void init_timer(void)
6 {
7 }
init_timer
void init_timer(void)
Definition: misc.c:5