3 CONFIG_IRQ_DOMAIN_DEBUG=y
4 CONFIG_HIGH_RES_TIMERS=y
5 CONFIG_LOG_BUF_SHIFT=14
6 CONFIG_BLK_DEV_INITRD=y
11 CONFIG_MODULE_UNLOAD=y
13 CONFIG_MACH_ARMADA_370=y
14 CONFIG_MACH_ARMADA_375=y
15 CONFIG_MACH_ARMADA_38X=y
16 CONFIG_MACH_ARMADA_39X=y
17 CONFIG_MACH_ARMADA_XP=y
25 # CONFIG_COMPACTION is not set
26 CONFIG_ZBOOT_ROM_TEXT=0x0
27 CONFIG_ZBOOT_ROM_BSS=0x0
28 CONFIG_ARM_APPENDED_DTB=y
29 CONFIG_ARM_ATAG_DTB_COMPAT=y
33 CONFIG_ARM_MVEBU_V7_CPUIDLE=y
47 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
49 CONFIG_DEVTMPFS_MOUNT=y
51 CONFIG_MTD_CMDLINE_PARTS=y
54 CONFIG_MTD_CFI_INTELEXT=y
55 CONFIG_MTD_CFI_AMDSTD=y
57 CONFIG_MTD_PHYSMAP_OF=y
60 CONFIG_MTD_NAND_PXA3xx=y
71 CONFIG_NET_DSA_MV88E6XXX=y
80 CONFIG_KEYBOARD_GPIO=y
82 CONFIG_SERIAL_8250_CONSOLE=y
83 CONFIG_SERIAL_8250_DW=y
84 CONFIG_SERIAL_OF_PLATFORM=y
94 CONFIG_POWER_RESET_GPIO=y
95 CONFIG_SENSORS_GPIO_FAN=y
97 CONFIG_ARMADA_THERMAL=y
99 CONFIG_ORION_WATCHDOG=y
101 CONFIG_REGULATOR_FIXED_VOLTAGE=y
105 CONFIG_SND_KIRKWOOD_SOC=y
106 CONFIG_SND_SOC_CS42L51_I2C=y
107 CONFIG_SND_SOC_SPDIF=y
108 CONFIG_SND_SIMPLE_CARD=y
110 CONFIG_USB_XHCI_HCD=y
111 CONFIG_USB_XHCI_MVEBU=y
112 CONFIG_USB_EHCI_HCD=y
113 CONFIG_USB_EHCI_ROOT_HUB_TT=y
115 CONFIG_NOP_USB_XCEIV=y
118 CONFIG_MMC_SDHCI_PLTFM=y
119 CONFIG_MMC_SDHCI_DOVE=y
120 CONFIG_MMC_SDHCI_PXAV3=y
125 CONFIG_LEDS_TRIGGERS=y
126 CONFIG_LEDS_TRIGGER_TIMER=y
127 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
129 CONFIG_RTC_DRV_DS1307=y
130 CONFIG_RTC_DRV_PCF8563=y
131 CONFIG_RTC_DRV_S35390A=y
133 CONFIG_RTC_DRV_ARMADA38X=y
136 # CONFIG_IOMMU_SUPPORT is not set
148 CONFIG_NLS_CODEPAGE_437=y
149 CONFIG_NLS_CODEPAGE_850=y
150 CONFIG_NLS_ISO8859_1=y
151 CONFIG_NLS_ISO8859_2=y
157 # CONFIG_SCHED_DEBUG is not set
159 # CONFIG_DEBUG_BUGVERBOSE is not set
161 CONFIG_CRYPTO_DEV_MARVELL_CESA=y