CONFIG_ARM=y

CONFIG_SYS_SUPPORTS_APM_EMULATION=y

# CONFIG_SMP is not set

# CONFIG_CMDLINE_FORCE is not set

CONFIG_CC_OPTIMIZE_FOR_SIZE=y

CONFIG_ARCH_VERSATILE=y

CONFIG_ARCH_VERSATILE_PB=y

CONFIG_MACH_VERSATILE_AB=y

CONFIG_MACH_VERSATILE_DT=y

CONFIG_HIGHMEM=y

# CONFIG_HIGHPTE is not set

# CONFIG_CPU_ICACHE_DISABLE is not set

# CONFIG_CPU_DCACHE_DISABLE is not set

# CONFIG_CPU_DCACHE_WRITETHROUGH is not set

# CONFIG_CPU_CACHE_ROUND_ROBIN is not set

CONFIG_ZBOOT_ROM_TEXT=0

CONFIG_ZBOOT_ROM_BSS=0

# CONFIG_XIP_KERNEL is not set

CONFIG_ATAGS_PROC=y

# CONFIG_FPE_NWFPE is not set

CONFIG_FPE_FASTFPE=y

CONFIG_VFP=y

CONFIG_PM=y

# CONFIG_PM_DEBUG is not set

# CONFIG_PM_TRACE is not set

CONFIG_SUSPEND=y

# CONFIG_PM_TEST_SUSPEND is not set

CONFIG_APM_EMULATION=y

CONFIG_ARM_THUMB=y

CONFIG_AEABI=y

CONFIG_OABI_COMPAT=y

# CONFIG_UACCESS_WITH_MEMCPY is not set

CONFIG_CMDLINE="console=ttyAM0,115200 root=/dev/sda1 rootdelay=20"

CONFIG_NO_HZ=y

CONFIG_HIGH_RES_TIMERS=y

# CONFIG_CPU_IDLE is not set

CONFIG_LEDS=y

CONFIG_LEDS_CPU=y

CONFIG_MTD_AFS_PARTS=y

CONFIG_MTD_ARM_INTEGRATOR=y

CONFIG_MTD_IMPA7=y

CONFIG_AX88796=m

CONFIG_AX88796_93CX6=y

CONFIG_SMC91X=m

CONFIG_DM9000=m

CONFIG_DM9000_DEBUGLEVEL=4

# CONFIG_DM9000_FORCE_SIMPLE_PHY_POLL is not set

CONFIG_SMC911X=m

CONFIG_SMSC911X=m

CONFIG_SERIO_AMBAKMI=m

CONFIG_SERIAL_AMBA_PL011=y

CONFIG_SERIAL_AMBA_PL011_CONSOLE=y

CONFIG_I2C_VERSATILE=y

CONFIG_THERMAL=y

# CONFIG_MFD_T7L66XB is not set

# CONFIG_MFD_TC6387XB is not set

CONFIG_FB_ARMCLCD=m

CONFIG_SND_ARM=y

CONFIG_SND_ARMAACI=m

CONFIG_SND_SOC=m

# CONFIG_SND_SOC_CACHE_LZO is not set

# CONFIG_SND_SOC_ALL_CODECS is not set

CONFIG_USB_MUSB_HDRC=y

CONFIG_MUSB_PIO_ONLY=y

CONFIG_USB_TUSB6010=y

# CONFIG_USB_MUSB_DEBUG is not set

CONFIG_MMC_ARMMMCI=m

CONFIG_MMC_DW=m

# CONFIG_MMC_DW_IDMAC is not set

CONFIG_RTC_DRV_PL030=m

CONFIG_RTC_DRV_PL031=m

# CONFIG_SGI_IOC4 is not set

# CONFIG_DEBUG_USER is not set

# CONFIG_DEBUG_ERRORS is not set

# CONFIG_DEBUG_LL is not set

CONFIG_ARM_UNWIND=y

CONFIG_RCU_FANOUT=32

# CONFIG_USB_ULPI is not set

# CONFIG_OC_ETM is not set

# CONFIG_MTD_PISMO is not set

CONFIG_PERF_EVENTS=y

CONFIG_PERF_COUNTERS=y

# CONFIG_MG_DISK is not set

# CONFIG_GPIO_PL061 is not set

CONFIG_CC_STACKPROTECTOR=y

CONFIG_AUTO_ZRELADDR=y

# CONFIG_ARM_CHARLCD is not set

# CONFIG_DEPRECATED_PARAM_STRUCT is not set

# CONFIG_ARM_SP805_WATCHDOG is not set

CONFIG_PM_OPP=y

CONFIG_SECCOMP=y

CONFIG_STRICT_DEVMEM=y

# CONFIG_AMBA_PL08X is not set

# CONFIG_HVC_DCC is not set

CONFIG_SPARSE_IRQ=y

# CONFIG_ARM_PATCH_PHYS_VIRT is not set

CONFIG_HWSPINLOCK_OMAP=m

CONFIG_USE_OF=y

CONFIG_PROC_DEVICETREE=y

CONFIG_MTD_PHYSMAP_OF=m

CONFIG_SERIAL_OF_PLATFORM=m

CONFIG_MMC_SDHCI_OF=m

CONFIG_MMC_SDHCI_PXAV3=m

CONFIG_MMC_SDHCI_PXAV2=m

CONFIG_ARM_APPENDED_DTB=y

CONFIG_MTD_OF_PARTS=y

CONFIG_PL330_DMA=y

# CONFIG_ARM_KPROBES_TEST is not set

# CONFIG_ARM_ATAG_DTB_COMPAT is not set

# CONFIG_FTGMAC100 is not set

# CONFIG_FTMAC100 is not set

#

CONFIG_DEFAULT_MMAP_MIN_ADDR=32768

CONFIG_LSM_MMAP_MIN_ADDR=32768

# disable TPM on arm at least on the trimslices it causes havoc

# CONFIG_TCG_TPM is not set

# CONFIG_IMA is not set

# ERROR: "__bswapsi2" [drivers/staging/crystalhd/crystalhd.ko] undefined!

# CONFIG_CRYSTALHD is not set

# these modules all fail with missing __bad_udelay

# http://www.spinics.net/lists/arm/msg15615.html provides some background

# CONFIG_SUNGEM is not set

# CONFIG_FB_SAVAGE is not set

# CONFIG_FB_RADEON is not set

# CONFIG_DRM_RADEON is not set

# CONFIG_ATM_HE is not set

# CONFIG_SCSI_ACARD is not set

# these all currently fail due to missing symbols __bad_udelay or

# error: implicit declaration of function ‘iowrite32be’

# CONFIG_SND_ALI5451 is not set

# CONFIG_DRM_NOUVEAU is not set 

# CONFIG_MLX4_EN is not set

# FIXME: Guesses, need checking

# CONFIG_MACH_EUKREA_CPUIMX35SD is not set

CONFIG_ARM_ERRATA_720789=y

CONFIG_ARM_ERRATA_751472=y

# CONFIG_FB_MX3 is not set

# CONFIG_MX3_IPU is not set

# CONFIG_MX3_IPU_IRQS is not set