diff options
Diffstat (limited to 'lib/utils')
| -rw-r--r-- | lib/utils/Kconfig | 2 | ||||
| -rw-r--r-- | lib/utils/timer/Kconfig | 22 | ||||
| -rw-r--r-- | lib/utils/timer/objects.mk | 10 |
3 files changed, 29 insertions, 5 deletions
diff --git a/lib/utils/Kconfig b/lib/utils/Kconfig index 492f4e9b..6561d0b1 100644 --- a/lib/utils/Kconfig +++ b/lib/utils/Kconfig @@ -8,4 +8,6 @@ source "$(OPENSBI_SRC_DIR)/lib/utils/serial/Kconfig" source "$(OPENSBI_SRC_DIR)/lib/utils/sys/Kconfig" +source "$(OPENSBI_SRC_DIR)/lib/utils/timer/Kconfig" + endmenu diff --git a/lib/utils/timer/Kconfig b/lib/utils/timer/Kconfig new file mode 100644 index 00000000..0a1c7271 --- /dev/null +++ b/lib/utils/timer/Kconfig @@ -0,0 +1,22 @@ +# SPDX-License-Identifier: BSD-2-Clause + +menu "Timer Device Support" + +config FDT_TIMER + bool "FDT based timer drivers" + default n + +if FDT_TIMER + +config FDT_TIMER_MTIMER + bool "ACLINT MTIMER FDT driver" + select TIMER_MTIMER + default n + +endif + +config TIMER_MTIMER + bool "ACLINT MTIMER support" + default n + +endmenu diff --git a/lib/utils/timer/objects.mk b/lib/utils/timer/objects.mk index bc4073d5..7f5f3cee 100644 --- a/lib/utils/timer/objects.mk +++ b/lib/utils/timer/objects.mk @@ -7,10 +7,10 @@ # Anup Patel <[email protected]> # -libsbiutils-objs-y += timer/aclint_mtimer.o +libsbiutils-objs-$(CONFIG_TIMER_MTIMER) += timer/aclint_mtimer.o -libsbiutils-objs-y += timer/fdt_timer.o -libsbiutils-objs-y += timer/fdt_timer_drivers.o +libsbiutils-objs-$(CONFIG_FDT_TIMER) += timer/fdt_timer.o +libsbiutils-objs-$(CONFIG_FDT_TIMER) += timer/fdt_timer_drivers.o -carray-fdt_timer_drivers-y += fdt_timer_mtimer -libsbiutils-objs-y += timer/fdt_timer_mtimer.o +carray-fdt_timer_drivers-$(CONFIG_FDT_TIMER_MTIMER) += fdt_timer_mtimer +libsbiutils-objs-$(CONFIG_FDT_TIMER_MTIMER) += timer/fdt_timer_mtimer.o |