| 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 |