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)
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>

No differences found