1## SPDX-License-Identifier: GPL-2.0-only 2 3if BOARD_GOOGLE_VEYRON_MICKEY 4 5config BOARD_SPECIFIC_OPTIONS 6 def_bool y 7 select BOARD_ROMSIZE_KB_4096 8 select COMMON_CBFS_SPI_WRAPPER 9 select MAINBOARD_HAS_CHROMEOS 10 select SOC_ROCKCHIP_RK3288 11 select SPI_FLASH 12 select SPI_FLASH_GIGADEVICE 13 select SPI_FLASH_WINBOND 14 select I2C_TPM 15 select MAINBOARD_HAS_TPM1 16 17config VBOOT 18 select VBOOT_VBNV_FLASH 19 20config MAINBOARD_DIR 21 default "google/veyron_mickey" 22 23config MAINBOARD_PART_NUMBER 24 default "Veyron_Mickey" 25 26config BOOT_DEVICE_SPI_FLASH_BUS 27 int 28 default 2 29 30config DRIVER_TPM_I2C_BUS 31 hex 32 default 0x1 33 34config DRIVER_TPM_I2C_ADDR 35 hex 36 default 0x20 37 38config CONSOLE_SERIAL_UART_ADDRESS 39 hex 40 depends on DRIVERS_UART 41 default 0xFF690000 42 43config PMIC_BUS 44 int 45 default 0 46 47endif # BOARD_GOOGLE_VEYRON_MICKEY 48