3 CONFIG_IRQ_DOMAIN_DEBUG=y
4 CONFIG_HIGH_RES_TIMERS=y
5 CONFIG_LOG_BUF_SHIFT=14
6 CONFIG_BLK_DEV_INITRD=y
10 CONFIG_MODULE_UNLOAD=y
12 CONFIG_MACH_ARMADA_370=y
13 CONFIG_MACH_ARMADA_XP=y
14 # CONFIG_CACHE_L2X0 is not set
15 # CONFIG_SWP_EMULATE is not set
17 # CONFIG_LOCAL_TIMERS is not set
20 # CONFIG_COMPACTION is not set
21 CONFIG_ZBOOT_ROM_TEXT=0x0
22 CONFIG_ZBOOT_ROM_BSS=0x0
23 CONFIG_ARM_APPENDED_DTB=y
28 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
38 CONFIG_SERIAL_8250_CONSOLE=y
41 CONFIG_SERIAL_8250_DW=y
44 # CONFIG_USB_SUPPORT is not set
48 CONFIG_RTC_DRV_S35390A=y
52 # CONFIG_IOMMU_SUPPORT is not set
55 # CONFIG_EXT3_FS_XATTR is not set
62 CONFIG_NLS_CODEPAGE_437=y
63 CONFIG_NLS_CODEPAGE_850=y
64 CONFIG_NLS_ISO8859_1=y
65 CONFIG_NLS_ISO8859_2=y
69 # CONFIG_SCHED_DEBUG is not set
71 # CONFIG_DEBUG_BUGVERBOSE is not set