CONFIG_ARCH_HAS_BARRIERS=y
CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y
CONFIG_ARCH_NR_GPIO=0
-# CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
CONFIG_ARCH_REALVIEW=y
CONFIG_ARCH_SELECT_MEMORY_MODEL=y
CONFIG_ARCH_SPARSEMEM_DEFAULT=y
CONFIG_ARCH_SPARSEMEM_ENABLE=y
-# CONFIG_ARCH_SUPPORTS_MSI is not set
CONFIG_ARCH_SUSPEND_POSSIBLE=y
# CONFIG_ARCH_USES_GETTIMEOFFSET is not set
CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
CONFIG_GENERIC_CLOCKEVENTS=y
CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
-# CONFIG_GENERIC_CPU_DEVICES is not set
CONFIG_GENERIC_IRQ_SHOW=y
CONFIG_GENERIC_PCI_IOMAP=y
CONFIG_HARDIRQS_SW_RESEND=y
CONFIG_PLAT_VERSATILE_LEDS=y
CONFIG_PLAT_VERSATILE_SCHED_CLOCK=y
# CONFIG_PREEMPT_RCU is not set
-# CONFIG_QUOTACTL is not set
# CONFIG_RD_LZMA is not set
# CONFIG_REALVIEW_EB_A9MP is not set
CONFIG_REALVIEW_EB_ARM11MP=y