From 89911043d03060c5ffe525853abbab75e41a00ea Mon Sep 17 00:00:00 2001 From: Alexandre Abadie Date: Sat, 20 May 2023 16:22:28 +0200 Subject: [PATCH] sys/evtimer: model in Kconfig --- sys/Kconfig | 1 + sys/evtimer/Kconfig | 19 +++++++++++++++++++ 2 files changed, 20 insertions(+) create mode 100644 sys/evtimer/Kconfig diff --git a/sys/Kconfig b/sys/Kconfig index 5482c5d60e..d2f1743fac 100644 --- a/sys/Kconfig +++ b/sys/Kconfig @@ -75,6 +75,7 @@ endchoice rsource "coding/Kconfig" rsource "ecc/Kconfig" +rsource "evtimer/Kconfig" rsource "log_color/Kconfig" rsource "log_printfnoformat/Kconfig" rsource "luid/Kconfig" diff --git a/sys/evtimer/Kconfig b/sys/evtimer/Kconfig new file mode 100644 index 0000000000..8cbe1cea3b --- /dev/null +++ b/sys/evtimer/Kconfig @@ -0,0 +1,19 @@ +# Copyright (c) 2023 Inria +# +# This file is subject to the terms and conditions of the GNU Lesser +# General Public License v2.1. See the file LICENSE in the top level +# directory for more details. +# + +config MODULE_EVTIMER + bool "Event timer module" + depends on TEST_KCONFIG + select MODULE_ZTIMER + select MODULE_ZTIMER_MSEC + +config MODULE_EVTIMER_MBOX + bool "Use message box" + select MODULE_CORE_MBOX + select MODULE_EVTIMER + help + Use message box to implement event timer.