CONFIG_SOC_SAMA5=y
# CONFIG_SOC_SAM_V4_V5 is not set
CONFIG_SOC_SAM_V7=y
CONFIG_SOC_SAMA5D3=y
CONFIG_SOC_SAMA5D4=y
CONFIG_MACH_SAMA5_DT=y
# CONFIG_ARM_LPAE is not set
# CONFIG_ARM_THUMBEE is not set
# CONFIG_SWP_EMULATE is not set
# CONFIG_CPU_ICACHE_DISABLE is not set
# CONFIG_CPU_BPREDICT_DISABLE is not set
# CONFIG_THUMB2_KERNEL is not set
# CONFIG_XEN is not set