| CONFIG_ARCH_VEXPRESS=y |
| CONFIG_ARCH_VEXPRESS_CA9X4=y |
| CONFIG_HAVE_ARM_ARCH_TIMER=y |
| CONFIG_NR_CPUS=8 |
| CONFIG_HIGHMEM=y |
| CONFIG_HIGHPTE=y |
| CONFIG_ARM_PSCI=y |
| CONFIG_MCPM=y |
| CONFIG_ARCH_VEXPRESS_DCSCB=y |
| CONFIG_ARCH_VEXPRESS_TC2_PM=y |
| CONFIG_ARM_BIG_LITTLE_CPUIDLE=y |
| CONFIG_BIG_LITTLE=y |
| CONFIG_ARM_VEXPRESS_SPC_CPUFREQ=y |
| CONFIG_PM_OPP=y |
| CONFIG_CPU_FREQ=y |
| CONFIG_CPU_FREQ_GOV_ONDEMAND=y |
| CONFIG_CPU_FREQ_GOV_PERFORMANCE=y |
| CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y |
| CONFIG_CMDLINE="console=ttyAMA0,38400n8 root=/dev/mmcblk0p2 rootwait mmci.fmax=4000000" |
| CONFIG_VFP=y |
| CONFIG_NEON=y |
| CONFIG_SCSI=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_SMSC911X=y |
| CONFIG_SMC91X=y |
| CONFIG_INPUT_EVDEV=y |
| CONFIG_SERIO_AMBAKMI=y |
| CONFIG_SERIAL_AMBA_PL011=y |
| CONFIG_SERIAL_AMBA_PL011_CONSOLE=y |
| CONFIG_FB=y |
| CONFIG_FB_ARMCLCD=y |
| CONFIG_FB_ARMHDLCD=y |
| CONFIG_LOGO=y |
| # CONFIG_LOGO_LINUX_MONO is not set |
| # CONFIG_LOGO_LINUX_VGA16 is not set |
| CONFIG_SOUND=y |
| CONFIG_SND=y |
| CONFIG_SND_ARMAACI=y |
| CONFIG_USB=y |
| CONFIG_USB_ISP1760_HCD=y |
| CONFIG_USB_STORAGE=y |
| 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_VEXPRESS_CONFIG=y |
| CONFIG_SENSORS_VEXPRESS=y |
| CONFIG_REGULATOR=y |
| CONFIG_REGULATOR_VEXPRESS=y |
| CONFIG_NEW_LEDS=y |
| CONFIG_LEDS_CLASS=y |
| CONFIG_LEDS_GPIO=y |
| CONFIG_LEDS_TRIGGERS=y |
| CONFIG_LEDS_TRIGGER_HEARTBEAT=y |
| CONFIG_LEDS_TRIGGER_CPU=y |
| CONFIG_VIRTIO=y |
| CONFIG_VIRTIO_BLK=y |
| CONFIG_VIRTIO_MMIO=y |
| CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES=y |
