| CONFIG_ARCH_VEXPRESS=y |
| CONFIG_SMP=y |
| CONFIG_NR_CPUS=8 |
| CONFIG_CMDLINE="console=ttyAMA0" |
| CONFIG_COMPAT=y |
| CONFIG_SMC91X=y |
| CONFIG_INPUT_EVDEV=y |
| CONFIG_SERIO_AMBAKMI=y |
| CONFIG_SERIAL_AMBA_PL011=y |
| CONFIG_SERIAL_AMBA_PL011_CONSOLE=y |
| # CONFIG_SERIO_I8042 is not set |
| CONFIG_FB=y |
| CONFIG_FB_ARMCLCD=y |
| CONFIG_FRAMEBUFFER_CONSOLE=y |
| # CONFIG_VGA_CONSOLE is not set |
| CONFIG_LOGO=y |
| # CONFIG_LOGO_LINUX_MONO is not set |
| # CONFIG_LOGO_LINUX_VGA16 is not set |
| CONFIG_MMC=y |
| CONFIG_MMC_ARMMMCI=y |
| CONFIG_RTC_CLASS=y |
| CONFIG_RTC_DRV_PL031=y |
| CONFIG_NFS_FS=y |
| CONFIG_NFS_V3=y |
| CONFIG_NFS_V3_ACL=y |
| CONFIG_NFS_V4=y |
| CONFIG_ROOT_NFS=y |
| CONFIG_VIRTIO=y |
| CONFIG_VIRTIO_BLK=y |
| CONFIG_VIRTIO_MMIO=y |
| CONFIG_REGULATOR=y |
| CONFIG_REGULATOR_FIXED_VOLTAGE=y |
| CONFIG_CMA=y |
| CONFIG_DMA_CMA=y |
| CONFIG_COMMON_CLK_SCPI=y |
| CONFIG_SMSC911X=y |
| CONFIG_I2C=y |
| CONFIG_ARM_MHU_MBOX=y |
| CONFIG_ARM_SCPI_PROTOCOL=y |
| CONFIG_USB_HIDDEV=y |
| CONFIG_SCSI=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_USB=y |
| CONFIG_USB_ULPI=y |
| CONFIG_USB_EHCI_HCD=y |
| CONFIG_USB_EHCI_HCD_SYNOPSYS=y |
| CONFIG_USB_OHCI_HCD=y |
| CONFIG_USB_PHY=y |
| CONFIG_USB_ISP1301=y |
| CONFIG_PM_OPP=y |
| CONFIG_GENERIC_CPUFREQ_CPU0=y |
| CONFIG_ARM_BIG_LITTLE_CPUFREQ=y |
| CONFIG_ARM_DT_BL_CPUFREQ=y |
| CONFIG_ARM64_CPUIDLE=y |
| CONFIG_ARM64_CRYPTO=y |
| CONFIG_SATA_SIL24=y |
| CONFIG_SKY2=y |
