#include <configs/rpi_4_defconfig>

CONFIG_ARM=y
CONFIG_ARCH_BCM283X=y
CONFIG_TARGET_RPI_4=y
CONFIG_BLOBLIST_ALLOC=y
CONFIG_OF_BOARD=y
CONFIG_ACPI=y
CONFIG_GENERATE_ACPI_TABLE=y

