2 files changed, 61 insertions, 0 deletions

diff --git a/target/arm/kernel/raspberry-pi b/target/arm/kernel/raspberry-pi
index 82f9b77a8..debb98417 100644
--- a/target/arm/kernel/raspberry-pi
+++ b/target/arm/kernel/raspberry-pi
@@ -1,6 +1,7 @@
 CONFIG_ARM=y
 CONFIG_FIQ=y
 CONFIG_ARM_PATCH_PHYS_VIRT=y
+CONFIG_KUSER_HELPERS=y
 CONFIG_HIGH_RES_TIMERS=y
 CONFIG_TREE_PREEMPT_RCU=y
 CONFIG_PREEMPT_RCU=y
diff --git a/target/linux/config/Config.in.cpu b/target/linux/config/Config.in.cpu
index 17e82c3c3..678cb5696 100644
--- a/target/linux/config/Config.in.cpu
+++ b/target/linux/config/Config.in.cpu
@@ -36,3 +36,63 @@ config ADK_KERNEL_USE_GENERIC_SMP_HELPERS
 config ADK_KERNEL_VFP
 	boolean
 
+menu "CPU support"
+
+config ADK_KERNEL_CPU_FREQ
+	boolean
+	default n
+
+config ADK_KERNEL_CPU_FREQ_GOV_PERFORMANCE
+	boolean
+	default n
+
+config ADK_KERNEL_CPU_FREQ_GOV_POWERSAVE
+	boolean
+	default n
+
+config ADK_KERNEL_CPU_FREQ_GOV_USERSPACE
+	boolean
+	default n
+
+config ADK_KERNEL_CPU_FREQ_GOV_ONDEMAND
+	boolean
+	default n
+
+config ADK_KERNEL_CPU_FREQ_GOV_CONSERVATIVE
+	boolean
+	default n
+
+config ADK_KERNEL_ARM_BCM2835_CPUFREQ
+	prompt "CPU frequency support"
+	boolean
+	select ADK_KERNEL_CPU_FREQ
+	default y if ADK_TARGET_SYSTEM_RASPBERRY_PI
+
+choice
+prompt "Governor"
+depends on ADK_KERNEL_ARM_BCM2835_CPUFREQ
+
+config ADK_KERNEL_CPU_FREQ_DEFAULT_GOV_ONDEMAND
+	boolean "ondemand"
+	select ADK_KERNEL_CPU_FREQ_GOV_ONDEMAND
+
+config ADK_KERNEL_CPU_FREQ_DEFAULT_GOV_PERFORMANCE
+	boolean "performance"
+	select ADK_KERNEL_CPU_FREQ_GOV_PERFORMANCE
+
+config ADK_KERNEL_CPU_FREQ_DEFAULT_GOV_POWERSAVE
+	boolean "powersave"
+	select ADK_KERNEL_CPU_FREQ_GOV_POWERSAVE
+
+config ADK_KERNEL_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE
+	boolean "conservative"
+	select ADK_KERNEL_CPU_FREQ_GOV_CONSERVATIVE
+
+config ADK_KERNEL_CPU_FREQ_DEFAULT_GOV_USERSPACE
+	boolean "userspace"
+	select ADK_KERNEL_CPU_FREQ_GOV_USERSPACE
+	
+endchoice
+
+endmenu
+