diff options
| author | Russell King <rmk+kernel@arm.linux.org.uk> | 2013-02-17 14:40:33 +0000 |
|---|---|---|
| committer | Russell King <rmk+kernel@arm.linux.org.uk> | 2013-02-17 14:40:33 +0000 |
| commit | b28748fb5d21d5d64c9ce31579ffbbd41f317042 (patch) | |
| tree | c9835d9ee719d01a1ac5275d9de2d3e3fec3339d /arch/arm/mm | |
| 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>
Diffstat (limited to 'arch/arm/mm')
0 files changed, 0 insertions, 0 deletions