Kconfig: TICKLESS_IDLE_UNSUPPORTED is not used

Change-Id: Id6767a0d6b04eea6b76065d4792245b57fb0a657
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2015-07-22 10:39:06 -04:00
commit abeaeacab0
7 changed files with 1 additions and 14 deletions

View file

@ -168,14 +168,6 @@ config HARDWARE_BP_SUPPORTED
This option signifies that the target supports hardware-based This option signifies that the target supports hardware-based
instruction breakpoints and/or data watchpoints. 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 config CMOV
def_bool n def_bool n
help help

View file

@ -116,7 +116,6 @@ CONFIG_CPU_MINUTEIA=y
# #
CONFIG_ISA_IA32=y CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y CONFIG_HARDWARE_BP_SUPPORTED=y
# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV is not set # CONFIG_CMOV is not set
CONFIG_CPU_FLOAT_UNSUPPORTED=y CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y CONFIG_CPU_SSE_UNSUPPORTED=y

View file

@ -116,7 +116,6 @@ CONFIG_CPU_MINUTEIA=y
# #
CONFIG_ISA_IA32=y CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y CONFIG_HARDWARE_BP_SUPPORTED=y
# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV is not set # CONFIG_CMOV is not set
CONFIG_CPU_FLOAT_UNSUPPORTED=y CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y CONFIG_CPU_SSE_UNSUPPORTED=y

View file

@ -95,7 +95,6 @@ CONFIG_CPU_MINUTEIA=y
# #
CONFIG_ISA_IA32=y CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y CONFIG_HARDWARE_BP_SUPPORTED=y
# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV is not set # CONFIG_CMOV is not set
CONFIG_CPU_FLOAT_UNSUPPORTED=y CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y CONFIG_CPU_SSE_UNSUPPORTED=y

View file

@ -95,7 +95,6 @@ CONFIG_CPU_MINUTEIA=y
# #
CONFIG_ISA_IA32=y CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y CONFIG_HARDWARE_BP_SUPPORTED=y
# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV is not set # CONFIG_CMOV is not set
CONFIG_CPU_FLOAT_UNSUPPORTED=y CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y CONFIG_CPU_SSE_UNSUPPORTED=y

View file

@ -116,7 +116,6 @@ CONFIG_CPU_MINUTEIA=y
# #
CONFIG_ISA_IA32=y CONFIG_ISA_IA32=y
CONFIG_HARDWARE_BP_SUPPORTED=y CONFIG_HARDWARE_BP_SUPPORTED=y
# CONFIG_TICKLESS_IDLE_UNSUPPORTED is not set
# CONFIG_CMOV is not set # CONFIG_CMOV is not set
CONFIG_CPU_FLOAT_UNSUPPORTED=y CONFIG_CPU_FLOAT_UNSUPPORTED=y
CONFIG_CPU_SSE_UNSUPPORTED=y CONFIG_CPU_SSE_UNSUPPORTED=y

View file

@ -141,7 +141,7 @@ config TICKLESS_IDLE
bool bool
prompt "Tickless idle" prompt "Tickless idle"
default y default y
depends on ADVANCED_POWER_MANAGEMENT && !TICKLESS_IDLE_UNSUPPORTED depends on ADVANCED_POWER_MANAGEMENT
help help
This option suppresses periodic system clock interrupts whenever the This option suppresses periodic system clock interrupts whenever the
kernel becomes idle. This permits the system to remain in a power kernel becomes idle. This permits the system to remain in a power