| ## SPDX-License-Identifier: GPL-2.0-only |
| |
| if BOARD_GOOGLE_VEYRON_MICKEY |
| |
| config BOARD_SPECIFIC_OPTIONS |
| def_bool y |
| select BOARD_ROMSIZE_KB_4096 |
| select COMMON_CBFS_SPI_WRAPPER |
| select MAINBOARD_HAS_CHROMEOS |
| select SOC_ROCKCHIP_RK3288 |
| select SPI_FLASH |
| select SPI_FLASH_GIGADEVICE |
| select SPI_FLASH_WINBOND |
| select MAINBOARD_HAS_I2C_TPM_GENERIC |
| select MAINBOARD_HAS_TPM1 |
| |
| config VBOOT |
| select VBOOT_VBNV_FLASH |
| |
| config MAINBOARD_DIR |
| default "google/veyron_mickey" |
| |
| config MAINBOARD_PART_NUMBER |
| default "Veyron_Mickey" |
| |
| config BOOT_DEVICE_SPI_FLASH_BUS |
| int |
| default 2 |
| |
| config DRIVER_TPM_I2C_BUS |
| hex |
| default 0x1 |
| |
| config DRIVER_TPM_I2C_ADDR |
| hex |
| default 0x20 |
| |
| config CONSOLE_SERIAL_UART_ADDRESS |
| hex |
| depends on DRIVERS_UART |
| default 0xFF690000 |
| |
| config PMIC_BUS |
| int |
| default 0 |
| |
| endif # BOARD_GOOGLE_VEYRON_MICKEY |