| CONFIG_EXPERIMENTAL=y |
| CONFIG_SYSVIPC=y |
| CONFIG_FHANDLE=y |
| CONFIG_IRQ_DOMAIN_DEBUG=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=y |
| CONFIG_MACH_ARMADA_375=y |
| CONFIG_MACH_ARMADA_38X=y |
| CONFIG_MACH_ARMADA_XP=y |
| CONFIG_MACH_DOVE=y |
| CONFIG_NEON=y |
| # CONFIG_CACHE_L2X0 is not set |
| # CONFIG_SWP_EMULATE is not set |
| CONFIG_PCI=y |
| CONFIG_PCI_MSI=y |
| CONFIG_PCI_MVEBU=y |
| CONFIG_SMP=y |
| CONFIG_AEABI=y |
| CONFIG_HIGHMEM=y |
| # CONFIG_COMPACTION is not set |
| CONFIG_ZBOOT_ROM_TEXT=0x0 |
| CONFIG_ZBOOT_ROM_BSS=0x0 |
| CONFIG_ARM_APPENDED_DTB=y |
| CONFIG_ARM_ATAG_DTB_COMPAT=y |
| CONFIG_VFP=y |
| CONFIG_NET=y |
| CONFIG_INET=y |
| CONFIG_IP_PNP=y |
| CONFIG_IP_PNP_DHCP=y |
| CONFIG_IP_PNP_BOOTP=y |
| CONFIG_BT=y |
| CONFIG_BT_MRVL=y |
| CONFIG_BT_MRVL_SDIO=y |
| CONFIG_CFG80211=y |
| CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug" |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_ATA=y |
| CONFIG_AHCI_MVEBU=y |
| CONFIG_SATA_MV=y |
| CONFIG_NETDEVICES=y |
| CONFIG_MVNETA=y |
| CONFIG_MARVELL_PHY=y |
| CONFIG_MWIFIEX=y |
| CONFIG_MWIFIEX_SDIO=y |
| CONFIG_INPUT_EVDEV=y |
| CONFIG_KEYBOARD_GPIO=y |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_SERIAL_OF_PLATFORM=y |
| CONFIG_I2C=y |
| CONFIG_SPI=y |
| CONFIG_SPI_ORION=y |
| CONFIG_I2C_MV64XXX=y |
| CONFIG_MTD=y |
| CONFIG_MTD_CHAR=y |
| CONFIG_MTD_M25P80=y |
| CONFIG_MTD_SPI_NOR=y |
| CONFIG_MTD_CFI=y |
| CONFIG_MTD_CFI_INTELEXT=y |
| CONFIG_MTD_CFI_AMDSTD=y |
| CONFIG_MTD_CFI_STAA=y |
| CONFIG_MTD_PHYSMAP_OF=y |
| CONFIG_MTD_NAND=y |
| CONFIG_MTD_NAND_PXA3xx=y |
| CONFIG_SERIAL_8250_DW=y |
| CONFIG_GPIOLIB=y |
| CONFIG_GPIO_SYSFS=y |
| CONFIG_THERMAL=y |
| CONFIG_ARMADA_THERMAL=y |
| CONFIG_SOUND=y |
| CONFIG_SND=y |
| CONFIG_SND_SOC=y |
| CONFIG_SND_KIRKWOOD_SOC=y |
| CONFIG_SND_KIRKWOOD_SOC_ARMADA370_DB=y |
| CONFIG_WATCHDOG=y |
| CONFIG_ORION_WATCHDOG=y |
| CONFIG_USB_SUPPORT=y |
| CONFIG_USB=y |
| CONFIG_USB_EHCI_HCD=y |
| CONFIG_USB_EHCI_ROOT_HUB_TT=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_USB_XHCI_HCD=y |
| CONFIG_USB_XHCI_MVEBU=y |
| CONFIG_MMC=y |
| CONFIG_MMC_SDHCI_PXAV3=y |
| CONFIG_MMC_MVSDIO=y |
| CONFIG_NEW_LEDS=y |
| CONFIG_LEDS_GPIO=y |
| CONFIG_LEDS_CLASS=m |
| CONFIG_LEDS_TRIGGERS=y |
| CONFIG_LEDS_TRIGGER_TIMER=y |
| CONFIG_LEDS_TRIGGER_HEARTBEAT=y |
| CONFIG_RTC_CLASS=y |
| CONFIG_RTC_DRV_S35390A=y |
| CONFIG_RTC_DRV_MV=y |
| CONFIG_DMADEVICES=y |
| CONFIG_MV_XOR=y |
| CONFIG_MEMORY=y |
| CONFIG_MVEBU_DEVBUS=y |
| # CONFIG_IOMMU_SUPPORT is not set |
| 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_NFS_FS=y |
| CONFIG_ROOT_NFS=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 |