ARM: add SCHED_HRTICK config option
authorRussell King <rmk+kernel@arm.linux.org.uk>
Sun, 17 Feb 2013 14:40:33 +0000 (14:40 +0000)
committerRussell King <rmk+kernel@arm.linux.org.uk>
Sun, 17 Feb 2013 14:40:33 +0000 (14:40 +0000)
commitb28748fb5d21d5d64c9ce31579ffbbd41f317042
treec9835d9ee719d01a1ac5275d9de2d3e3fec3339d
parent251019fb97b67067c34292bb89c19e712f91971c
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>
arch/arm/Kconfig