| CONFIG_ARM64=y |
| CONFIG_ARCH_VEXPRESS=y |
| CONFIG_SMP=y |
| CONFIG_NR_CPUS=8 |
| CONFIG_HOTPLUG_CPU=y |
| |
| # Keyboard over AMBA |
| CONFIG_SERIO=y |
| CONFIG_SERIO_AMBAKMI=y |
| |
| # Hardware mailbox |
| CONFIG_MAILBOX=y |
| CONFIG_ARM_MHU=y |
| |
| # SCMI support |
| CONFIG_ARM_SCMI_PROTOCOL=y |
| CONFIG_ARM_SCMI_POWER_DOMAIN=y |
| CONFIG_SENSORS_ARM_SCMI=y |
| CONFIG_COMMON_CLK_SCMI=y |
| |
| # Power Interface and system control |
| CONFIG_ARM_SCPI_PROTOCOL=y |
| CONFIG_ARM_SCPI_POWER_DOMAIN=y |
| CONFIG_SENSORS_ARM_SCPI=y |
| CONFIG_COMMON_CLK_SCPI=y |
| |
| CONFIG_REGULATOR=y |
| CONFIG_REGULATOR_FIXED_VOLTAGE=y |
| |
| CONFIG_CPU_IDLE=y |
| CONFIG_ARM_CPUIDLE=y |
| |
| CONFIG_CPU_FREQ=y |
| CONFIG_ARM_SCPI_CPUFREQ=y |
| |
| CONFIG_CPU_FREQ_GOV_PERFORMANCE=y |
| CONFIG_CPU_FREQ_GOV_USERSPACE=y |
| CONFIG_CPU_FREQ_GOV_ONDEMAND=y |
| |
| CONFIG_CONNECTOR=y |
| CONFIG_ARM_TIMER_SP804=y |