2 ## This file is part of the coreboot project.
4 ## Copyright 2014 Google Inc.
6 ## This program is free software; you can redistribute it and/or modify
7 ## it under the terms of the GNU General Public License as published by
8 ## the Free Software Foundation; version 2 of the License.
10 ## This program is distributed in the hope that it will be useful,
11 ## but WITHOUT ANY WARRANTY; without even the implied warranty of
12 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 ## GNU General Public License for more details.
18 config BOARD_SPECIFIC_OPTIONS
21 select BOARD_ROMSIZE_KB_8192
22 select COMMON_CBFS_SPI_WRAPPER
23 select DRIVERS_I2C_WW_RING
24 select MAINBOARD_HAS_CHROMEOS
26 select SPI_FLASH_GIGADEVICE
27 select SPI_FLASH_SPANSION
28 select SPI_FLASH_STMICRO
29 select SPI_FLASH_WINBOND
31 select MAINBOARD_HAS_I2C_TPM_GENERIC
32 select MAINBOARD_HAS_TPM1
35 select VBOOT_DISABLE_DEV_ON_RECOVERY
36 select VBOOT_WIPEOUT_SUPPORTED
38 config BOARD_VARIANT_DK01
39 bool "Build an image for DK01"
46 config MAINBOARD_PART_NUMBER
48 default "DK01" if BOARD_VARIANT_DK01
58 default 512 if BOARD_VARIANT_DK01
61 config DRIVER_TPM_I2C_BUS
65 config DRIVER_TPM_I2C_ADDR
69 endif # BOARD_GOOGLE_GALE