/* SPDX-License-Identifier: GPL-2.0-only */ | |
#include <bootblock_common.h> | |
#include <console/console.h> | |
#include "bmcinfo.h" | |
/* | |
* Display board serial early | |
*/ | |
void bootblock_mainboard_init(void) | |
{ | |
if (CONFIG(BOOTBLOCK_CONSOLE)) | |
printk(BIOS_SPEW, "Board Serial: %s.\n", bmcinfo_serial()); | |
} |