| 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_ARCH_HIX5HD2=y |
| CONFIG_SMP=y |
| CONFIG_PREEMPT=y |
| CONFIG_AEABI=y |
| CONFIG_ARM_APPENDED_DTB=y |
| CONFIG_NET=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_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_GPIO_GENERIC_PLATFORM=y |
| CONFIG_REGULATOR_GPIO=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_STORAGE=y |
| CONFIG_NOP_USB_XCEIV=y |
| CONFIG_MMC=y |
| CONFIG_RTC_CLASS=y |
| CONFIG_RTC_DRV_PL031=y |
| CONFIG_DMADEVICES=y |
| CONFIG_DW_DMAC=y |
| CONFIG_PL330_DMA=y |
| CONFIG_PWM=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_DEBUG_KERNEL=y |
| CONFIG_LOCKUP_DETECTOR=y |