# CONFIG_ATAGS is not set
# CONFIG_CACHE_L2X0 is not set
# CONFIG_I2C_BRCMSTB is not set
# CONFIG_IOMMU_SUPPORT is not set
CONFIG_LEDS_TRIGGER_CPU=y
CONFIG_POWER_RESET=y
CONFIG_PREEMPT_VOLUNTARY=y
CONFIG_REGULATOR_FIXED_VOLTAGE=m
CONFIG_SERIAL_8250_NR_UARTS=1
CONFIG_SERIAL_RPI_FW=m
CONFIG_SND_SOC_SPDIF=m
CONFIG_UACCESS_WITH_MEMCPY=y
CONFIG_USB_DWC2=m
CONFIG_USB_UAS=m
CONFIG_VFP=y
CONFIG_XFRM_USER=y
