# Arch
CONFIG_ARCH_ARM=y
CONFIG_ARCH_ARM_V7=y

# Board
CONFIG_BOARD="peach_pit"

# Image
CONFIG_BOOTPLAN_CB_SPLIT_PAYLOAD=y

CONFIG_BASE_ADDRESS=0x24000000
CONFIG_FMAP_OFFSET=0x00100000
CONFIG_HEAP_SIZE=0x00600000
CONFIG_KERNEL_START=0x22000000

# 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=0x3ff00000

# Drivers
CONFIG_DRIVER_BLOCKDEV_MMC=y
CONFIG_DRIVER_BLOCKDEV_MMC_DW=y
CONFIG_DRIVER_BLOCKDEV_USB=y
CONFIG_DRIVER_BUS_I2C_EXYNOS5_USI=y
CONFIG_DRIVER_BUS_I2S_EXYNOS5=y
CONFIG_DRIVER_BUS_SPI_EXYNOS5=y
CONFIG_DRIVER_CONSOLE_DISPLAY=y
CONFIG_DRIVER_CONSOLE_UART=y
CONFIG_DRIVER_DISPLAY_FRAMEBUFFER=y
CONFIG_DRIVER_EC_CROS=y
CONFIG_DRIVER_EC_CROS_SPI=y
CONFIG_DRIVER_FLASH_SPI=y
CONFIG_DRIVER_FRAMEBUFFER_EXYNOS5=y
CONFIG_DRIVER_GPIO_EXYNOS5420=y
CONFIG_DRIVER_KEYBOARD_MKBP=y
CONFIG_DRIVER_KEYBOARD_MKBP_KEYMATRIX_STANDARD=y
CONFIG_DRIVER_LAYOUT_COREBOOT=y
CONFIG_DRIVER_POWER_EXYNOS=y
CONFIG_DRIVER_SOUND_I2S=y
CONFIG_DRIVER_SOUND_MAX98095=y
CONFIG_DRIVER_SOUND_ROUTE=y
CONFIG_DRIVER_STORAGE_FLASH=y
CONFIG_DRIVER_TIMER_MCT=y
CONFIG_DRIVER_TPM_SLB9635_I2C=y
CONFIG_DRIVER_UART_S5P=y
CONFIG_DRIVER_USB_HID=y
CONFIG_DRIVER_VIDEO_EXYNOS5=y
CONFIG_DRIVER_VIDEO_EXYNOS5_BASE=0x14400000

# libpayload
CONFIG_CBMEM_CONSOLE=y
CONFIG_COREBOOT_VIDEO_CONSOLE=y
CONFIG_VIDEO_CONSOLE=y

CONFIG_USB=y
CONFIG_USB_UHCI=y
CONFIG_USB_XHCI=y