ARM: Add S3C24XX to CPUFreq KConfig

Add the S3C24XX to the main ARM CPUFreq Kconfig support list.

Signed-off-by: Ben Dooks <ben@simtec.co.uk>
Signed-off-by: Ben Dooks <ben-linux@fluff.org>

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 7dbaabd..c7a83ef 100644 (file)
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -573,6 +573,7 @@ config ARCH_SA1100
 config ARCH_S3C2410
        bool "Samsung S3C2410, S3C2412, S3C2413, S3C2440, S3C2442, S3C2443"
        select GENERIC_GPIO
+       select ARCH_HAS_CPUFREQ
        select HAVE_CLK
        help
          Samsung S3C2410X CPU based systems, such as the Simtec Electronics
@@ -1288,6 +1289,46 @@ config CPU_FREQ_S3C64XX
        bool "CPUfreq support for Samsung S3C64XX CPUs"
        depends on CPU_FREQ && CPU_S3C6410
 
+config CPU_FREQ_S3C
+       bool
+       help
+         Internal configuration node for common cpufreq on Samsung SoC
+
+config CPU_FREQ_S3C24XX
+       bool "CPUfreq driver for Samsung S3C24XX series CPUs"
+       depends on ARCH_S3C2410 && CPU_FREQ && EXPERIMENTAL
+       select CPU_FREQ_S3C
+       help
+         This enables the CPUfreq driver for the Samsung S3C24XX family
+         of CPUs.
+
+         For details, take a look at <file:Documentation/cpu-freq>.
+
+         If in doubt, say N.
+
+config CPU_FREQ_S3C24XX_PLL
+       bool "Support CPUfreq changing of PLL frequency"
+       depends on CPU_FREQ_S3C24XX && EXPERIMENTAL
+       help
+         Compile in support for changing the PLL frequency from the
+         S3C24XX series CPUfreq driver. The PLL takes time to settle
+         after a frequency change, so by default it is not enabled.
+
+         This also means that the PLL tables for the selected CPU(s) will
+         be built which may increase the size of the kernel image.
+
+config CPU_FREQ_S3C24XX_DEBUG
+       bool "Debug CPUfreq Samsung driver core"
+       depends on CPU_FREQ_S3C24XX
+       help
+         Enable s3c_freq_dbg for the Samsung S3C CPUfreq core
+
+config CPU_FREQ_S3C24XX_IODEBUG
+       bool "Debug CPUfreq Samsung driver IO timing"
+       depends on CPU_FREQ_S3C24XX
+       help
+         Enable s3c_freq_iodbg for the Samsung S3C CPUfreq core
+
 endif
 
 source "drivers/cpuidle/Kconfig"