| # Arch |
| CONFIG_ARCH_ARM=y |
| |
| # Board |
| CONFIG_BOARD="veyron_mickey" |
| |
| # Image |
| CONFIG_BASE_ADDRESS=0x43000000 |
| CONFIG_HEAP_SIZE=0x01000000 |
| CONFIG_KERNEL_START=0x02000000 |
| |
| # Vboot |
| CONFIG_PHYSICAL_REC_SWITCH=y |
| |
| CONFIG_CROSSYSTEM_FDT=y |
| CONFIG_NV_STORAGE_FLASH=y |
| |
| |
| #CONFIG_MOCK_TPM=y |
| |
| # Kernel format |
| CONFIG_KERNEL_FIT=y |
| CONFIG_KERNEL_FIT_FDT_ADDR=0x1f800000 |
| |
| # Drivers |
| CONFIG_DRIVER_GPIO_RK3288=y |
| CONFIG_DRIVER_BUS_I2C_ROCKCHIP=y |
| CONFIG_DRIVER_BUS_SPI_ROCKCHIP=y |
| CONFIG_DRIVER_BUS_I2S_ROCKCHIP=y |
| CONFIG_DRIVER_FLASH_SPI=y |
| CONFIG_DRIVER_POWER_RK808=y |
| CONFIG_DRIVER_INPUT_USB=y |
| CONFIG_DRIVER_SOUND_I2S=y |
| CONFIG_DRIVER_SOUND_ROUTE=y |
| CONFIG_DRIVER_STORAGE_MMC=y |
| CONFIG_DRIVER_STORAGE_DWMMC_RK3288=y |
| CONFIG_DRIVER_TPM_SLB9635_I2C=y |
| CONFIG_DRIVER_VIDEO_RK3288=y |