| CONFIG_EXPERIMENTAL=y |
| CONFIG_SYSVIPC=y |
| CONFIG_NO_HZ=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_LOG_BUF_SHIFT=14 |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_EXPERT=y |
| CONFIG_SLAB=y |
| CONFIG_MODULES=y |
| CONFIG_MODULE_UNLOAD=y |
| CONFIG_ARCH_MVEBU=y |
| CONFIG_MACH_ARMADA_370_XP=y |
| CONFIG_AEABI=y |
| CONFIG_HIGHMEM=y |
| CONFIG_USE_OF=y |
| CONFIG_ZBOOT_ROM_TEXT=0x0 |
| CONFIG_ZBOOT_ROM_BSS=0x0 |
| CONFIG_ARM_APPENDED_DTB=y |
| CONFIG_VFP=y |
| CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug" |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_SERIAL_OF_PLATFORM=y |
| CONFIG_GPIOLIB=y |
| CONFIG_GPIO_SYSFS=y |
| CONFIG_EXT2_FS=y |
| CONFIG_EXT3_FS=y |
| # CONFIG_EXT3_FS_XATTR is not set |
| CONFIG_ISO9660_FS=y |
| CONFIG_JOLIET=y |
| CONFIG_UDF_FS=m |
| CONFIG_MSDOS_FS=y |
| CONFIG_VFAT_FS=y |
| CONFIG_TMPFS=y |
| CONFIG_NLS_CODEPAGE_437=y |
| CONFIG_NLS_CODEPAGE_850=y |
| CONFIG_NLS_ISO8859_1=y |
| CONFIG_NLS_ISO8859_2=y |
| CONFIG_NLS_UTF8=y |
| CONFIG_MAGIC_SYSRQ=y |
| CONFIG_DEBUG_FS=y |
| # CONFIG_SCHED_DEBUG is not set |
| CONFIG_TIMER_STATS=y |
| # CONFIG_DEBUG_BUGVERBOSE is not set |
| CONFIG_DEBUG_INFO=y |
| CONFIG_DEBUG_USER=y |
| CONFIG_DEBUG_LL=y |
| CONFIG_EARLY_PRINTK=y |