coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
bootblock.c
Go to the documentation of this file.
1
/* SPDX-License-Identifier: GPL-2.0-only */
2
3
#include <
bootblock_common.h
>
4
#include <
console/console.h
>
5
#include "
bmcinfo.h
"
6
7
/*
8
* Display board serial early
9
*/
10
11
void
bootblock_mainboard_init
(
void
)
12
{
13
if
(
CONFIG
(BOOTBLOCK_CONSOLE))
14
printk
(
BIOS_SPEW
,
"Board Serial: %s.\n"
,
bmcinfo_serial
());
15
}
bmcinfo_serial
char * bmcinfo_serial(void)
Definition:
bmcinfo.c:94
bmcinfo.h
bootblock_common.h
printk
#define printk(level,...)
Definition:
stdlib.h:16
console.h
CONFIG
@ CONFIG
Definition:
dsi_common.h:201
bootblock_mainboard_init
__weak void bootblock_mainboard_init(void)
Definition:
bootblock.c:19
BIOS_SPEW
#define BIOS_SPEW
BIOS_SPEW - Excessively verbose output.
Definition:
loglevel.h:142
src
mainboard
scaleway
tagada
bootblock.c
Generated by
1.9.1