# Arch
CONFIG_ARCH_ARM=y
CONFIG_ARCH_ARM_V8=y

# Board
CONFIG_BOARD="rpi3"

# Image
CONFIG_BOOTPLAN_RPI3=y
CONFIG_BOOTPLAN_RPI3_MODEL="RaspberyPi3"

CONFIG_IMAGE_HWID="RASPBERRY PI 3"

# Vboot
CONFIG_MOCK_TPM=y
CONFIG_DISABLE_LEGACY_BOOT=y
CONFIG_NV_STORAGE_GENERIC=y

# Kernel format
CONFIG_KERNEL_ZIMAGE=y
CONFIG_TARGET_OS_MAGENTA=y
CONFIG_GIGABOOT=y

# Drivers
CONFIG_DRIVER_CONSOLE_UART=y
CONFIG_DRIVER_LAYOUT_DCDIR=y
CONFIG_DRIVER_UART_8250=y

# libpayload
CONFIG_USB=y
CONFIG_USB_EHCI=y
CONFIG_USB_UHCI=y
CONFIG_USB_XHCI=y