1 # CONFIG_ARCH_MULTI_CPU_AUTO is not set
2 CONFIG_ARCH_MULTI_V6_V7=y
5 CONFIG_ARM_L1_CACHE_SHIFT=6
6 CONFIG_ARM_L1_CACHE_SHIFT_6=y
7 # CONFIG_ARM_LPAE is not set
8 # CONFIG_ARM_THUMBEE is not set
10 CONFIG_ATMEL_AIC5_IRQ=y
15 # CONFIG_CPU_BPREDICT_DISABLE is not set
17 CONFIG_CPU_CACHE_VIPT=y
23 CONFIG_DCACHE_WORD_ACCESS=y
24 CONFIG_GENERIC_PINCONF=y
25 CONFIG_HAVE_ARCH_BITREVERSE=y
26 CONFIG_HAVE_AT91_GENERATED_CLK=y
27 CONFIG_HAVE_AT91_H32MX=y
28 CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
30 CONFIG_MIGHT_HAVE_CACHE_L2X0=y
32 CONFIG_MMC_SDHCI_IO_ACCESSORS=y
33 CONFIG_MMC_SDHCI_OF_AT91=y
34 CONFIG_MMC_SDHCI_PLTFM=y
36 CONFIG_OUTER_CACHE_SYNC=y
37 CONFIG_PINCTRL_AT91PIO4=y
38 CONFIG_PL310_ERRATA_588369=y
39 CONFIG_PL310_ERRATA_727915=y
40 CONFIG_PL310_ERRATA_753970=y
41 CONFIG_PL310_ERRATA_769419=y
47 CONFIG_SPLIT_PTLOCK_CPUS=4
48 # CONFIG_SWP_EMULATE is not set
49 # CONFIG_THUMB2_KERNEL is not set