2 # CONFIG_ARM_LPAE is not set
3 # CONFIG_ARM_THUMBEE is not set
4 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
5 CONFIG_BCM2708_NOL2CACHE=y
6 # CONFIG_BCM2709_DT is not set
7 # CONFIG_CRYPTO_SHA1_ARM_NEON is not set
8 # CONFIG_CRYPTO_SHA512_ARM_NEON is not set
9 CONFIG_HAVE_ARM_ARCH_TIMER=y
10 CONFIG_KERNEL_MODE_NEON=y
16 # CONFIG_THUMB2_KERNEL is not set