1 ## SPDX-License-Identifier: GPL-2.0-only
5 config BOARD_SPECIFIC_OPTIONS
8 select BOARD_ROMSIZE_KB_8192
9 select COMMON_CBFS_SPI_WRAPPER
10 select DRIVERS_I2C_WW_RING
11 select MAINBOARD_HAS_CHROMEOS
13 select SPI_FLASH_GIGADEVICE
14 select SPI_FLASH_SPANSION
15 select SPI_FLASH_STMICRO
16 select SPI_FLASH_WINBOND
19 select MAINBOARD_HAS_TPM1
22 select VBOOT_DISABLE_DEV_ON_RECOVERY
23 select VBOOT_WIPEOUT_SUPPORTED
25 config BOARD_VARIANT_DK01
26 bool "Build an image for DK01"
32 config MAINBOARD_PART_NUMBER
33 default "DK01" if BOARD_VARIANT_DK01
38 default 512 if BOARD_VARIANT_DK01
41 config DRIVER_TPM_I2C_BUS
45 config DRIVER_TPM_I2C_ADDR
49 endif # BOARD_GOOGLE_GALE