/* SPDX-License-Identifier: GPL-2.0-only */ | |
/* This file is part of the coreboot project. */ | |
#include <console/console.h> | |
#include <security/vboot/vboot_common.h> | |
#include <soc/clock.h> | |
#include <spi-generic.h> | |
void verstage_mainboard_init(void) | |
{ | |
struct spi_slave spi; | |
printk(BIOS_ERR, "Trying to initialize TPM SPI bus\n"); | |
if (spi_setup_slave(CONFIG_DRIVER_TPM_SPI_BUS, | |
CONFIG_DRIVER_TPM_SPI_CHIP, &spi)) { | |
printk(BIOS_ERR, "Failed to setup TPM SPI slave\n"); | |
} | |
} |