2 ## This file is part of the coreboot project.
5 ## SPDX-License-Identifier: GPL-2.0-only
9 config BOARD_SPECIFIC_OPTIONS
12 select BOARD_ROMSIZE_KB_8192
13 select COMMON_CBFS_SPI_WRAPPER
14 select DRIVERS_I2C_WW_RING
15 select MAINBOARD_HAS_CHROMEOS
17 select SPI_FLASH_GIGADEVICE
18 select SPI_FLASH_SPANSION
19 select SPI_FLASH_STMICRO
20 select SPI_FLASH_WINBOND
22 select MAINBOARD_HAS_I2C_TPM_GENERIC
23 select MAINBOARD_HAS_TPM1
26 select VBOOT_DISABLE_DEV_ON_RECOVERY
27 select VBOOT_WIPEOUT_SUPPORTED
29 config BOARD_VARIANT_DK01
30 bool "Build an image for DK01"
37 config MAINBOARD_PART_NUMBER
39 default "DK01" if BOARD_VARIANT_DK01
44 default 512 if BOARD_VARIANT_DK01
47 config DRIVER_TPM_I2C_BUS
51 config DRIVER_TPM_I2C_ADDR
55 endif # BOARD_GOOGLE_GALE