Kconfig: TICKLESS_IDLE_UNSUPPORTED is not used
Change-Id: Id6767a0d6b04eea6b76065d4792245b57fb0a657
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig
index c3c01a0..5aa98fe 100644
--- a/arch/x86/Kconfig
+++ b/arch/x86/Kconfig
@@ -168,14 +168,6 @@
This option signifies that the target supports hardware-based
instruction breakpoints and/or data watchpoints.
-config TICKLESS_IDLE_UNSUPPORTED
- prompt "Tickless Idle Unsupported"
- bool
- default n
- help
- This option signifies the use of an Intel CPU that lacks
- support for tickless idle.
-
config CMOV
def_bool n
help
diff --git a/arch/x86/configs/micro_basic_minuteia_defconfig b/arch/x86/configs/micro_basic_minuteia_defconfig
index 96483be..8baa54f 100644
--- a/arch/x86/configs/micro_basic_minuteia_defconfig
+++ b/arch/x86/configs/micro_basic_minuteia_defconfig
@@ -116,7 +116,6 @@
#
CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y
-# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV is not set
CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y
diff --git a/arch/x86/configs/micro_galileo_defconfig b/arch/x86/configs/micro_galileo_defconfig
index 12c8907..2a989e3 100644
--- a/arch/x86/configs/micro_galileo_defconfig
+++ b/arch/x86/configs/micro_galileo_defconfig
@@ -116,7 +116,6 @@
#
CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y
-# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV is not set
CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y
diff --git a/arch/x86/configs/nano_basic_minuteia_defconfig b/arch/x86/configs/nano_basic_minuteia_defconfig
index eb2422f..8eccdac 100644
--- a/arch/x86/configs/nano_basic_minuteia_defconfig
+++ b/arch/x86/configs/nano_basic_minuteia_defconfig
@@ -95,7 +95,6 @@
#
CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y
-# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV is not set
CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y
diff --git a/arch/x86/configs/nano_galileo_defconfig b/arch/x86/configs/nano_galileo_defconfig
index 92b9782..252eb0f 100644
--- a/arch/x86/configs/nano_galileo_defconfig
+++ b/arch/x86/configs/nano_galileo_defconfig
@@ -95,7 +95,6 @@
#
CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y
-# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV is not set
CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y
diff --git a/arch/x86/defconfig b/arch/x86/defconfig
index 12c8907..2a989e3 100644
--- a/arch/x86/defconfig
+++ b/arch/x86/defconfig
@@ -116,7 +116,6 @@
#
CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y
-# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV is not set
CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y
diff --git a/kernel/Kconfig b/kernel/Kconfig
index f2197a1..1740bde 100644
--- a/kernel/Kconfig
+++ b/kernel/Kconfig
@@ -141,7 +141,7 @@
bool
prompt "Tickless idle"
default y
- depends on ADVANCED_POWER_MANAGEMENT && !TICKLESS_IDLE_UNSUPPORTED
+ depends on ADVANCED_POWER_MANAGEMENT
help
This option suppresses periodic system clock interrupts whenever the
kernel becomes idle. This permits the system to remain in a power