coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
verstage.c
Go to the documentation of this file.
1
/* SPDX-License-Identifier: GPL-2.0-only */
2
3
#include <
security/vboot/vboot_common.h
>
4
5
#include "
early_init.h
"
6
7
void
verstage_mainboard_init
(
void
)
8
{
9
mainboard_early_init
();
10
}
mainboard_early_init
void mainboard_early_init(int s3resume)
Definition:
romstage.c:27
verstage_mainboard_init
void verstage_mainboard_init(void)
Definition:
verstage.c:41
early_init.h
vboot_common.h
src
mainboard
google
kukui
verstage.c
Generated by
1.9.1