| CONFIG_EXPERIMENTAL=y |
| CONFIG_NO_HZ=y |
| CONFIG_HIGHMEM=y |
| CONFIG_HIGHPTE=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_ARCH_HIGHBANK=y |
| CONFIG_ARM_ERRATA_754322=y |
| CONFIG_SMP=y |
| CONFIG_SCHED_MC=y |
| CONFIG_AEABI=y |
| CONFIG_CMDLINE="console=ttyAMA0" |
| CONFIG_CPU_IDLE=y |
| CONFIG_VFP=y |
| CONFIG_NEON=y |
| CONFIG_NET=y |
| CONFIG_SCSI=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_ATA=y |
| CONFIG_SATA_AHCI_PLATFORM=y |
| CONFIG_SATA_HIGHBANK=y |
| CONFIG_NETDEVICES=y |
| CONFIG_NET_CALXEDA_XGMAC=y |
| CONFIG_SERIAL_AMBA_PL011=y |
| CONFIG_SERIAL_AMBA_PL011_CONSOLE=y |
| CONFIG_IPMI_HANDLER=y |
| CONFIG_IPMI_SI=y |
| CONFIG_I2C=y |
| CONFIG_I2C_DESIGNWARE_PLATFORM=y |
| CONFIG_SPI=y |
| CONFIG_SPI_PL022=y |
| CONFIG_GPIO_PL061=y |
| CONFIG_MMC=y |
| CONFIG_MMC_SDHCI=y |
| CONFIG_MMC_SDHCI_PLTFM=y |
| CONFIG_EDAC=y |
| CONFIG_EDAC_MM_EDAC=y |
| CONFIG_EDAC_HIGHBANK_MC=y |
| CONFIG_EDAC_HIGHBANK_L2=y |
| CONFIG_RTC_CLASS=y |
| CONFIG_RTC_DRV_PL031=y |
| CONFIG_DMADEVICES=y |
| CONFIG_PL330_DMA=y |
