4 CONFIG_IRQ_DOMAIN_DEBUG=y
5 CONFIG_HIGH_RES_TIMERS=y
6 CONFIG_LOG_BUF_SHIFT=14
7 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_XP=y
19 # CONFIG_CACHE_L2X0 is not set
20 # CONFIG_SWP_EMULATE is not set
27 # CONFIG_COMPACTION is not set
28 CONFIG_ZBOOT_ROM_TEXT=0x0
29 CONFIG_ZBOOT_ROM_BSS=0x0
30 CONFIG_ARM_APPENDED_DTB=y
31 CONFIG_ARM_ATAG_DTB_COMPAT=y
33 CONFIG_ARM_MVEBU_V7_CPUIDLE=y
35 CONFIG_CPUFREQ_GENERIC=y
46 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
58 CONFIG_KEYBOARD_GPIO=y
60 CONFIG_SERIAL_8250_CONSOLE=y
61 CONFIG_SERIAL_OF_PLATFORM=y
71 CONFIG_MTD_CFI_INTELEXT=y
72 CONFIG_MTD_CFI_AMDSTD=y
74 CONFIG_MTD_PHYSMAP_OF=y
76 CONFIG_MTD_NAND_PXA3xx=y
77 CONFIG_SERIAL_8250_DW=y
81 CONFIG_ARMADA_THERMAL=y
85 CONFIG_SND_KIRKWOOD_SOC=y
86 CONFIG_SND_KIRKWOOD_SOC_ARMADA370_DB=y
88 CONFIG_ORION_WATCHDOG=y
92 CONFIG_USB_EHCI_ROOT_HUB_TT=y
95 CONFIG_USB_XHCI_MVEBU=y
97 CONFIG_MMC_SDHCI_PXAV3=y
102 CONFIG_LEDS_TRIGGERS=y
103 CONFIG_LEDS_TRIGGER_TIMER=y
104 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
106 CONFIG_RTC_DRV_S35390A=y
111 CONFIG_MVEBU_DEVBUS=y
112 # CONFIG_IOMMU_SUPPORT is not set
115 # CONFIG_EXT3_FS_XATTR is not set
124 CONFIG_NLS_CODEPAGE_437=y
125 CONFIG_NLS_CODEPAGE_850=y
126 CONFIG_NLS_ISO8859_1=y
127 CONFIG_NLS_ISO8859_2=y
131 # CONFIG_SCHED_DEBUG is not set
133 # CONFIG_DEBUG_BUGVERBOSE is not set