# CONFIG_ATAGS is not set
# CONFIG_CACHE_L2X0 is not set
# CONFIG_IOMMU_SUPPORT is not set
CONFIG_POWER_RESET=y
CONFIG_PREEMPT_VOLUNTARY=y
CONFIG_SERIAL_RPI_FW=m
CONFIG_SND_SOC_SPDIF=m
CONFIG_UACCESS_WITH_MEMCPY=y
CONFIG_VFP=y
CONFIG_XFRM_USER=y
