| # Arch |
| CONFIG_ARCH_ARM=y |
| CONFIG_ARCH_ARM_V7=y |
| |
| # Board |
| CONFIG_BOARD="nyan_big" |
| |
| # Image |
| CONFIG_BOOTPLAN_CB_PAYLOAD=y |
| |
| CONFIG_BASE_ADDRESS=0x83000000 |
| CONFIG_FMAP_OFFSET=0x00100000 |
| CONFIG_HEAP_SIZE=0x00600000 |
| CONFIG_KERNEL_START=0x81000000 |
| |
| # Vboot |
| CONFIG_EC_SOFTWARE_SYNC=y |
| CONFIG_VIRTUAL_DEV_SWITCH=y |
| |
| CONFIG_CROSSYSTEM_FDT=y |
| CONFIG_NV_STORAGE_CROS_EC=y |
| |
| # Kernel format |
| CONFIG_KERNEL_FIT=y |
| CONFIG_KERNEL_FIT_FDT_ADDR=0x9ff00000 |
| |
| # Drivers |
| CONFIG_DRIVER_BLOCKDEV_MMC=y |
| CONFIG_DRIVER_BLOCKDEV_MMC_TEGRA=y |
| CONFIG_DRIVER_BLOCKDEV_USB=y |
| CONFIG_DRIVER_BUS_I2C_TEGRA=y |
| CONFIG_DRIVER_BUS_I2S_TEGRA=y |
| CONFIG_DRIVER_BUS_SPI_TEGRA=y |
| CONFIG_DRIVER_CONSOLE_UART=y |
| CONFIG_DRIVER_DMA_TEGRA_APB=y |
| CONFIG_DRIVER_EC_CROS=y |
| CONFIG_DRIVER_EC_CROS_SPI=y |
| CONFIG_DRIVER_FLASH_SPI=y |
| CONFIG_DRIVER_GPIO_TEGRA=y |
| CONFIG_DRIVER_KEYBOARD_MKBP=y |
| CONFIG_DRIVER_KEYBOARD_MKBP_KEYMATRIX_STANDARD=y |
| CONFIG_DRIVER_LAYOUT_COREBOOT=y |
| CONFIG_DRIVER_POWER_AS3722=y |
| CONFIG_DRIVER_SOUND_I2S=y |
| CONFIG_DRIVER_SOUND_MAX98090=y |
| CONFIG_DRIVER_SOUND_ROUTE=y |
| CONFIG_DRIVER_SOUND_TEGRA_AUDIO_HUB=y |
| CONFIG_DRIVER_STORAGE_FLASH=y |
| CONFIG_DRIVER_TIMER_TEGRA_1US=y |
| CONFIG_DRIVER_TPM_SLB9635_I2C=y |
| CONFIG_DRIVER_UART_8250=y |
| CONFIG_DRIVER_USB_HID=y |
| |
| # libpayload |
| CONFIG_COREBOOT_VIDEO_CONSOLE=y |
| |
| CONFIG_USB=y |
| CONFIG_USB_EHCI=y |
| CONFIG_USB_UHCI=y |
| CONFIG_USB_XHCI=y |