| commit | b28748fb5d21d5d64c9ce31579ffbbd41f317042 | [log] [tgz] |
|---|---|---|
| author | Russell King <rmk+kernel@arm.linux.org.uk> | Sun Feb 17 14:40:33 2013 +0000 |
| committer | Russell King <rmk+kernel@arm.linux.org.uk> | Sun Feb 17 14:40:33 2013 +0000 |
| tree | c9835d9ee719d01a1ac5275d9de2d3e3fec3339d | |
| parent | 251019fb97b67067c34292bb89c19e712f91971c [diff] |
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>