SCMI based CPUfreq driver

modulename: scmi-cpufreq.ko

configname: CONFIG_ARM_SCMI_CPUFREQ

Linux Kernel Configuration
└─>Power management and ACPI options
└─>CPU Frequency scaling
└─>SCMI based CPUfreq driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This adds the CPUfreq driver support for ARM platforms using SCMI
protocol for CPU power management.

This driver uses SCMI Message Protocol driver to interact with the
firmware providing the CPU DVFS functionality.

source code: