| CONFIG_ARM64=y | |
| CONFIG_ARCH_VEXPRESS=y | |
| CONFIG_SMP=y | |
| CONFIG_NR_CPUS=256 | |
| CONFIG_HOTPLUG_CPU=y | |
| CONFIG_REGULATOR=y | |
| CONFIG_REGULATOR_FIXED_VOLTAGE=y | |
| CONFIG_CPU_IDLE=y | |
| CONFIG_ARM_CPUIDLE=y | |
| CONFIG_VEXPRESS_CONFIG=y | |
| # Keyboard over AMBA | |
| CONFIG_SERIO=y | |
| CONFIG_SERIO_AMBAKMI=y | |
| CONFIG_MFD_VEXPRESS_SYSREG=y | |
| # Turn off RAID to speed up boot | |
| CONFIG_MD=n | |
| CONFIG_BTRFS_FS=n |