| |
@@ -307,8 +307,10 @@
|
| |
CONFIG_ARM_SMMU_V3=y
|
| |
CONFIG_ARM_SP805_WATCHDOG=m
|
| |
# CONFIG_ARM_SPE_PMU is not set
|
| |
+ # CONFIG_ARM_TEGRA124_CPUFREQ is not set
|
| |
CONFIG_ARM_TEGRA186_CPUFREQ=m
|
| |
CONFIG_ARM_TEGRA194_CPUFREQ=y
|
| |
+ # CONFIG_ARM_TEGRA20_CPUFREQ is not set
|
| |
# CONFIG_AS3935 is not set
|
| |
# CONFIG_AS73211 is not set
|
| |
CONFIG_ASN1=y
|
| |
@@ -898,7 +900,7 @@
|
| |
# CONFIG_CPU_FREQ_DEFAULT_GOV_POWERSAVE is not set
|
| |
# CONFIG_CPU_FREQ_DEFAULT_GOV_SCHEDUTIL is not set
|
| |
# CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE is not set
|
| |
- # CONFIG_CPUFREQ_DT is not set
|
| |
+ CONFIG_CPUFREQ_DT=m
|
| |
CONFIG_CPU_FREQ_GOV_CONSERVATIVE=y
|
| |
CONFIG_CPU_FREQ_GOV_ONDEMAND=y
|
| |
CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
|
| |
alexl
commented 2 years ago
This is needed for raspberrypi-cpufreq to work (i.e. when booting a
raspberry pi 4 without tianocore)