| CONFIG_IRQ_DOMAIN_DEBUG=y |
| CONFIG_NO_HZ=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_RD_LZMA=y |
| CONFIG_ARCH_HISI=y |
| CONFIG_ARCH_HI3xxx=y |
| CONFIG_PARTITION_ADVANCED=y |
| CONFIG_CMDLINE_PARTITION=y |
| CONFIG_ARCH_HIX5HD2=y |
| CONFIG_ARCH_HIP01=y |
| CONFIG_ARCH_HIP04=y |
| CONFIG_SMP=y |
| CONFIG_NR_CPUS=16 |
| CONFIG_PREEMPT=y |
| CONFIG_AEABI=y |
| CONFIG_HIGHMEM=y |
| CONFIG_ARM_APPENDED_DTB=y |
| CONFIG_ARM_ATAG_DTB_COMPAT=y |
| CONFIG_NEON=y |
| CONFIG_ARM_ATAG_DTB_COMPAT_CMDLINE_FROM_BOOTLOADER=y |
| CONFIG_PM=y |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| CONFIG_IP_PNP=y |
| CONFIG_IP_PNP_DHCP=y |
| CONFIG_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_ATA=y |
| CONFIG_SATA_AHCI_PLATFORM=y |
| CONFIG_NETDEVICES=y |
| CONFIG_HIX5HD2_GMAC=y |
| CONFIG_HIP04_ETH=y |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_DEPRECATED_OPTIONS=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_SERIAL_8250_NR_UARTS=2 |
| CONFIG_SERIAL_8250_RUNTIME_UARTS=2 |
| CONFIG_SERIAL_8250_DW=y |
| CONFIG_SERIAL_AMBA_PL011=y |
| CONFIG_SERIAL_AMBA_PL011_CONSOLE=y |
| CONFIG_SERIAL_OF_PLATFORM=y |
| CONFIG_I2C_DESIGNWARE_PLATFORM=y |
| CONFIG_SPI=y |
| CONFIG_SPI_PL022=y |
| CONFIG_PINCTRL_SINGLE=y |
| CONFIG_DEBUG_GPIO=y |
| CONFIG_GPIO_SYSFS=y |
| CONFIG_GPIOLIB=y |
| CONFIG_GPIO_GENERIC_PLATFORM=y |
| CONFIG_REGULATOR_GPIO=y |
| CONFIG_GPIO_DWAPB=y |
| CONFIG_MFD_SYSCON=y |
| CONFIG_POWER_RESET_SYSCON=y |
| CONFIG_DRM=y |
| CONFIG_FB_SIMPLE=y |
| CONFIG_USB=y |
| CONFIG_USB_XHCI_HCD=y |
| CONFIG_USB_EHCI_HCD=y |
| CONFIG_USB_EHCI_MXC=y |
| CONFIG_USB_EHCI_HCD_PLATFORM=y |
| CONFIG_USB_OHCI_HCD=y |
| CONFIG_USB_OHCI_HCD_PLATFORM=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_NOP_USB_XCEIV=y |
| CONFIG_MMC=y |
| CONFIG_RTC_CLASS=y |
| CONFIG_MMC_DW=y |
| CONFIG_MMC_DW_IDMAC=y |
| CONFIG_MMC_DW_PLTFM=y |
| CONFIG_RTC_DRV_PL031=y |
| CONFIG_DMADEVICES=y |
| CONFIG_DW_DMAC=y |
| CONFIG_PL330_DMA=y |
| CONFIG_PWM=y |
| CONFIG_PHY_HIX5HD2_SATA=y |
| CONFIG_EXT4_FS=y |
| CONFIG_TMPFS=y |
| CONFIG_NFS_FS=y |
| CONFIG_NFS_V3_ACL=y |
| CONFIG_NFS_V4=y |
| CONFIG_ROOT_NFS=y |
| CONFIG_PRINTK_TIME=y |
| CONFIG_DEBUG_FS=y |
| CONFIG_NLS_CODEPAGE_437=y |
| CONFIG_NLS_ISO8859_1=y |
| CONFIG_DEBUG_KERNEL=y |
| CONFIG_LOCKUP_DETECTOR=y |
| CONFIG_VFP=y |
| CONFIG_VFPv3=y |
