2012-03-12 19:54:54 +00:00
|
|
|
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
|
|
|
|
|
|
2011-12-09 19:29:38 +00:00
|
|
|
CONFIG_VFP=y
|
2012-03-12 19:54:54 +00:00
|
|
|
CONFIG_VFPv3=y
|
2011-12-09 19:29:38 +00:00
|
|
|
CONFIG_NEON=y
|
2012-03-12 19:54:54 +00:00
|
|
|
|
|
|
|
|
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
|
2012-08-10 06:10:04 +00:00
|
|
|
CONFIG_SERIAL_AMBA_PL011=y
|
|
|
|
|
CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
|
2012-03-12 19:54:54 +00:00
|
|
|
|
2012-06-12 19:12:24 +00:00
|
|
|
CONFIG_RTC_DRV_PL030=y
|
|
|
|
|
CONFIG_RTC_DRV_PL031=y
|
|
|
|
|
|
2012-10-02 07:20:54 +00:00
|
|
|
CONFIG_SATA_HIGHBANK=m
|
|
|
|
|
|
2012-03-12 19:54:54 +00:00
|
|
|
# CONFIG_DVB_TDA1004X is not set
|
|
|
|
|
# CONFIG_DVB_PLL is not set
|
2012-08-10 06:10:04 +00:00
|
|
|
|
|
|
|
|
# these were all requested to be disabled on highbank kernels by calxeda
|
|
|
|
|
# CONFIG_HAMRADIO is not set
|
|
|
|
|
# CONFIG_IRDA is not set
|
|
|
|
|
# CONFIG_WIMAX is not set
|
|
|
|
|
# CONFIG_RFKILL is not set
|
|
|
|
|
# CONFIG_CAIF is not set
|
|
|
|
|
# CONFIG_NFC is not set
|
|
|
|
|
# CONFIG_MTD is not set
|
|
|
|
|
# CONFIG_PARPORT is not set
|
|
|
|
|
# CONFIG_ATM_DRIVERS is not set
|
|
|
|
|
# CONFIG_WAN is not set
|
|
|
|
|
# CONFIG_ISDN is not set
|
|
|
|
|
# CONFIG_MEDIA_SUPPORT is not set
|
|
|
|
|
# CONFIG_DRM is not set
|
|
|
|
|
# CONFIG_SND is not set
|
|
|
|
|
# end of list of requested disabled options
|
