[linux] 04/10: config: enabling the cpuidle ARM driver

[debian-kernel at lists.debian.org]

This is an automated email from the git hooks/post-receive script.

ijc pushed a commit to branch master
in repository linux.

commit 4b3a487aec133828bc5c8f048cb62ef09c362df2
Author: Ricardo Salveti <ricardo.salveti at linaro.org>
Date:   Tue Jan 5 22:14:55 2016 -0200

    config: enabling the cpuidle ARM driver
    
    Signed-off-by: Ricardo Salveti <ricardo.salveti at linaro.org>
---
 debian/config/arm64/config | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index 1058e32..a89875c 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -38,6 +38,11 @@ CONFIG_AHCI_XGENE=m
 CONFIG_COMMON_CLK_XGENE=y
 
 ##
+## file: drivers/cpuidle/Kconfig.arm
+##
+CONFIG_ARM_CPUIDLE=y
+
+##
 ## file: drivers/gpio/Kconfig
 ##
 CONFIG_GPIOLIB=y

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/kernel/linux.git