kernelconfig_penguin

Debug CPUfreq Samsung driver core

configname: CONFIG_ARM_S3C24XX_CPUFREQ_DEBUG

Linux Kernel Configuration
└─> Power management and ACPI options
└─> CPU Frequency scaling
└─> Debug CPUfreq Samsung driver core

Enable s3c_freq_dbg for the Samsung S3C CPUfreq core