From: Russell King <rmk+kernel@arm.linux.org.uk>
Date: Sun, 17 Feb 2013 14:40:33 +0000 (+0000)
Subject: ARM: add SCHED_HRTICK config option
X-Git-Url: https://git.stricted.de/?a=commitdiff_plain;h=b28748fb5d21d5d64c9ce31579ffbbd41f317042;p=GitHub%2Fexynos8895%2Fandroid_kernel_samsung_universal8895.git

ARM: add SCHED_HRTICK config option

As we don't include kernel/Kconfig.hz as this defines HZ values
unsuitable for ARM platforms, add the SCHED_HRTICK to properly configure
the scheduler for hrtimer operation.

Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
---

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 67874b82a4ed..a192a5c1984c 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -1655,6 +1655,9 @@ config HZ
 	default SHMOBILE_TIMER_HZ if ARCH_SHMOBILE
 	default 100
 
+config SCHED_HRTICK
+	def_bool HIGH_RES_TIMERS
+
 config THUMB2_KERNEL
 	bool "Compile the kernel in Thumb-2 mode"
 	depends on CPU_V7 && !CPU_V6 && !CPU_V6K