CONFIG_ARCH_HIGHBANK=y # CONFIG_ARM_LPAE is not set # CONFIG_ARM_THUMBEE is not set CONFIG_SWP_EMULATE=y # CONFIG_CPU_BPREDICT_DISABLE is not set # CONFIG_ARM_ERRATA_430973 is not set # CONFIG_ARM_ERRATA_458693 is not set # CONFIG_ARM_ERRATA_460075 is not set # CONFIG_PL310_ERRATA_588369 is not set # CONFIG_PL310_ERRATA_727915 is not set # CONFIG_ARM_ERRATA_743622 is not set # CONFIG_PL310_ERRATA_753970 is not set # CONFIG_ARM_ERRATA_754322 is not set # CONFIG_PL310_ERRATA_769419 is not set # CONFIG_THUMB2_KERNEL is not set CONFIG_ARM_TIMER_SP804=y CONFIG_VFP=y CONFIG_VFPv3=y CONFIG_NEON=y CONFIG_SATA_AHCI_PLATFORM=y CONFIG_ATA_SFF=y CONFIG_NET_CALXEDA_XGMAC=y CONFIG_GPIO_PL061=y CONFIG_SERIAL_AMBA_PL010=y CONFIG_SERIAL_AMBA_PL010_CONSOLE=y CONFIG_RTC_DRV_PL030=y CONFIG_RTC_DRV_PL031=y # CONFIG_DVB_TDA1004X is not set # CONFIG_DVB_PLL is not set