Kconfig: Update timer driver dependencies

Updates the timer driver dependencies to simplify the selection of a timer
driver.  The timer driver menu only lists those drivers that are compatible
with the previously selected interrupt controller.

Change-Id: I5deea315f7c373c6660bacc411c6374e7b0ae84d
Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
This commit is contained in:
Peter Mitsis 2015-07-23 12:14:14 -04:00 committed by Anas Nashif
commit d8a5c03404
8 changed files with 2 additions and 9 deletions

View file

@ -174,7 +174,6 @@ CONFIG_IOAPIC=y
#
# CONFIG_HPET_TIMER is not set
CONFIG_LOAPIC_TIMER=y
# CONFIG_PIT is not set
#
# Random Generation Configuration

View file

@ -163,7 +163,6 @@ CONFIG_PIC=y
#
# Timer Drivers
#
# CONFIG_HPET_TIMER is not set
CONFIG_PIT=y
#

View file

@ -170,7 +170,6 @@ CONFIG_IOAPIC=y
#
CONFIG_HPET_TIMER=y
# CONFIG_LOAPIC_TIMER is not set
# CONFIG_PIT is not set
#
# Random Generation Configuration

View file

@ -153,7 +153,6 @@ CONFIG_IOAPIC=y
#
# CONFIG_HPET_TIMER is not set
CONFIG_LOAPIC_TIMER=y
# CONFIG_PIT is not set
#
# Random Generation Configuration

View file

@ -142,7 +142,6 @@ CONFIG_PIC=y
#
# Timer Drivers
#
# CONFIG_HPET_TIMER is not set
CONFIG_PIT=y
#

View file

@ -149,7 +149,6 @@ CONFIG_IOAPIC=y
#
CONFIG_HPET_TIMER=y
# CONFIG_LOAPIC_TIMER is not set
# CONFIG_PIT is not set
#
# Random Generation Configuration

View file

@ -170,7 +170,6 @@ CONFIG_IOAPIC=y
#
CONFIG_HPET_TIMER=y
# CONFIG_LOAPIC_TIMER is not set
# CONFIG_PIT is not set
#
# Random Generation Configuration

View file

@ -36,7 +36,7 @@ menu "Timer Drivers"
config HPET_TIMER
bool "HPET timer"
default n
depends on X86_32
depends on IOAPIC && X86_32
help
This option selects High Precision Event Timer (HPET) as a
system timer.
@ -51,7 +51,7 @@ config LOAPIC_TIMER
config PIT
bool "PIT (i8253)"
default n
depends on X86_32
depends on PIC && X86_32
help
This option selects legacy i8253 timer as system timer.