3 CONFIG_HIGH_RES_TIMERS=y
5 CONFIG_ARM_ERRATA_754322=y
9 CONFIG_CMDLINE="console=ttyAMA0"
17 CONFIG_SATA_AHCI_PLATFORM=y
18 CONFIG_SATA_HIGHBANK=y
20 CONFIG_NET_CALXEDA_XGMAC=y
21 CONFIG_SERIAL_AMBA_PL011=y
22 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
26 CONFIG_I2C_DESIGNWARE_PLATFORM=y
32 CONFIG_MMC_SDHCI_PLTFM=y
35 CONFIG_EDAC_HIGHBANK_MC=y
36 CONFIG_EDAC_HIGHBANK_L2=y
38 CONFIG_RTC_DRV_PL031=y