CONFIG_ARCH_MXC=y

CONFIG_ARCH_MX51=y

CONFIG_MACH_MX51_BABBAGE=y

CONFIG_MACH_MX51_3DS=y

CONFIG_MACH_EUKREA_CPUIMX51=y

CONFIG_VFP=y

CONFIG_NEON=y

CONFIG_MACH_EUKREA_CPUIMX51SD=y

CONFIG_MACH_MX51_EFIKAMX=y

CONFIG_MACH_MX51_EFIKASB=y

# CONFIG_SWP_EMULATE is not set

# CONFIG_THUMB2_KERNEL is not set

CONFIG_CPU_FREQ_IMX=y

CONFIG_W1_MASTER_MXC=m

CONFIG_IMX_DMA=y

CONFIG_IMX_SDMA=y

CONFIG_MACH_MX31ADS=y

CONFIG_MACH_MX31LILLY=y

CONFIG_MACH_MX31LITE=y

CONFIG_MACH_PCM037=y

CONFIG_MACH_MX31_3DS=y

CONFIG_MACH_MX31MOBOARD=y

CONFIG_MACH_QONG=y

CONFIG_MACH_ARMADILLO5X0=y

CONFIG_MACH_KZM_ARM11_01=y

CONFIG_MACH_BUG=y

CONFIG_MACH_PCM043=y

CONFIG_MACH_MX35_3DS=y

CONFIG_MACH_EUKREA_CPUIMX35=y

CONFIG_MACH_VPR200=y

CONFIG_SOC_IMX6Q=y

CONFIG_MXC_IRQ_PRIOR=y

CONFIG_MXC_PWM=m

CONFIG_MXC_DEBUG_BOARD=y

# CONFIG_CPU_BPREDICT_DISABLE is not set

CONFIG_CACHE_L2X0=y

CONFIG_ARM_DMA_MEM_BUFFERABLE=y

CONFIG_ARM_ERRATA_411920=y

CONFIG_PL310_ERRATA_588369=y

CONFIG_PL310_ERRATA_727915=y

CONFIG_ARM_ERRATA_364296=y

CONFIG_PATA_IMX=m

CONFIG_NET_VENDOR_FREESCALE=y

CONFIG_FEC=y

CONFIG_KEYBOARD_IMX=m

CONFIG_SERIAL_IMX=y

CONFIG_HW_RANDOM_MXC_RNGA=m

CONFIG_I2C_IMX=m

CONFIG_GPIO_GENERIC_PLATFORM=y

CONFIG_GPIO_MCP23S08=m

# CONFIG_GPIO_MC9S08DZ60 is not set

CONFIG_DVB_TDA1004X=m

CONFIG_DVB_PLL=m

CONFIG_SND_IMX_SOC=m

CONFIG_USB_EHCI_MXC=y

# CONFIG_USB_IMX21_HCD is not set

CONFIG_MMC_SDHCI_ESDHC_IMX=m

CONFIG_MMC_MXC=m

CONFIG_RTC_MXC=y

CONFIG_BACKLIGHT_PWM=m

CONFIG_LEDS_PWM=m

CONFIG_MACH_PCM037_EET=y

# CONFIG_MACH_MX31_3DS_MXC_NAND_USE_BBT is not set

CONFIG_MXC_USE_EPIT=y

CONFIG_HAVE_EPIT=y

CONFIG_ARM_THUMBEE=y

CONFIG_ARM_ERRATA_430973=y

CONFIG_ARM_ERRATA_458693=y

CONFIG_ARM_ERRATA_460075=y

CONFIG_ARM_ERRATA_743622=y

CONFIG_ARM_ERRATA_754322=y

CONFIG_CAN_FLEXCAN=m

CONFIG_MTD_NAND_MXC=m

CONFIG_INPUT_PWM_BEEPER=m

CONFIG_SERIAL_IMX_CONSOLE=y

CONFIG_IMX2_WDT=m

CONFIG_SND_SOC_PHYCORE_AC97=m

CONFIG_SND_SOC_EUKREA_TLV320=m

CONFIG_PL310_ERRATA_769419=y

CONFIG_LEDS_RENESAS_TPU=y

# CONFIG_ARM_LPAE is not set

# CONFIG_INPUT_GP2A is not set

# CONFIG_INPUT_GPIO_TILT_POLLED is not set