diff options
-rw-r--r-- | arch/arm/Kconfig | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index 929915e177ae..8c064a3e43db 100644 --- a/arch/arm/Kconfig +++ b/arch/arm/Kconfig | |||
@@ -1653,9 +1653,6 @@ config HZ | |||
1653 | config SCHED_HRTICK | 1653 | config SCHED_HRTICK |
1654 | def_bool HIGH_RES_TIMERS | 1654 | def_bool HIGH_RES_TIMERS |
1655 | 1655 | ||
1656 | config SCHED_HRTICK | ||
1657 | def_bool HIGH_RES_TIMERS | ||
1658 | |||
1659 | config THUMB2_KERNEL | 1656 | config THUMB2_KERNEL |
1660 | bool "Compile the kernel in Thumb-2 mode" if !CPU_THUMBONLY | 1657 | bool "Compile the kernel in Thumb-2 mode" if !CPU_THUMBONLY |
1661 | depends on (CPU_V7 || CPU_V7M) && !CPU_V6 && !CPU_V6K | 1658 | depends on (CPU_V7 || CPU_V7M) && !CPU_V6 && !CPU_V6K |