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 
12 {
13  if (CONFIG(BOOTBLOCK_CONSOLE))
14  printk(BIOS_SPEW, "Board Serial: %s.\n", bmcinfo_serial());
15 }
char * bmcinfo_serial(void)
Definition: bmcinfo.c:94
#define printk(level,...)
Definition: stdlib.h:16
@ CONFIG
Definition: dsi_common.h:201
__weak void bootblock_mainboard_init(void)
Definition: bootblock.c:19
#define BIOS_SPEW
BIOS_SPEW - Excessively verbose output.
Definition: loglevel.h:142