# 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 |