| 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_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_CPU_FREQ=y |
| CONFIG_CPU_IDLE=y |
| CONFIG_ARM_MVEBU_V7_CPUIDLE=y |
| CONFIG_VFP=y |
| CONFIG_NEON=y |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=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_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| CONFIG_MTD=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_M25P80=y |
| CONFIG_MTD_NAND=y |
| CONFIG_MTD_NAND_PXA3xx=y |
| CONFIG_MTD_SPI_NOR=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_ATA=y |
| CONFIG_AHCI_MVEBU=y |
| CONFIG_SATA_MV=y |
| CONFIG_NETDEVICES=y |
| CONFIG_MV643XX_ETH=y |
| CONFIG_MVNETA=y |
| CONFIG_MVPP2=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_8250_DW=y |
| CONFIG_SERIAL_OF_PLATFORM=y |
| CONFIG_I2C=y |
| CONFIG_I2C_MV64XXX=y |
| CONFIG_SPI=y |
| CONFIG_SPI_ORION=y |
| CONFIG_GPIO_SYSFS=y |
| CONFIG_SENSORS_GPIO_FAN=y |
| CONFIG_THERMAL=y |
| CONFIG_ARMADA_THERMAL=y |
| CONFIG_WATCHDOG=y |
| CONFIG_ORION_WATCHDOG=y |
| CONFIG_SOUND=y |
| CONFIG_SND=y |
| CONFIG_SND_SOC=y |
| CONFIG_SND_KIRKWOOD_SOC=y |
| CONFIG_SND_KIRKWOOD_SOC_ARMADA370_DB=y |
| CONFIG_USB=y |
| CONFIG_USB_XHCI_HCD=y |
| CONFIG_USB_XHCI_MVEBU=y |
| CONFIG_USB_EHCI_HCD=y |
| CONFIG_USB_EHCI_ROOT_HUB_TT=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_MMC=y |
| CONFIG_MMC_SDHCI=y |
| CONFIG_MMC_SDHCI_PLTFM=y |
| CONFIG_MMC_SDHCI_DOVE=y |
| CONFIG_MMC_MVSDIO=y |
| CONFIG_LEDS_GPIO=y |
| CONFIG_LEDS_CLASS=y |
| 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_IOMMU_SUPPORT is not set |
| CONFIG_MEMORY=y |
| CONFIG_EXT4_FS=y |
| 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_PRINTK_TIME=y |
| CONFIG_DEBUG_INFO=y |
| CONFIG_DEBUG_FS=y |
| CONFIG_MAGIC_SYSRQ=y |
| # CONFIG_SCHED_DEBUG is not set |
| CONFIG_TIMER_STATS=y |
| # CONFIG_DEBUG_BUGVERBOSE is not set |
| CONFIG_DEBUG_USER=y |