From 4c9d6c0b4921fb4cf4d0c85e61db89dc3d194ea0 Mon Sep 17 00:00:00 2001 From: Alexandre Abadie Date: Fri, 21 Apr 2023 10:38:24 +0200 Subject: [PATCH] sys/sema_inv: add missing Kconfig --- sys/Kconfig | 1 + sys/sema_inv/Kconfig | 12 ++++++++++++ 2 files changed, 13 insertions(+) create mode 100644 sys/sema_inv/Kconfig diff --git a/sys/Kconfig b/sys/Kconfig index 724181f3ad..f658d7e1be 100644 --- a/sys/Kconfig +++ b/sys/Kconfig @@ -95,6 +95,7 @@ rsource "rust_riotmodules/Kconfig" rsource "saul_reg/Kconfig" rsource "schedstatistics/Kconfig" rsource "sema/Kconfig" +rsource "sema_inv/Kconfig" rsource "senml/Kconfig" rsource "seq/Kconfig" rsource "shell/Kconfig" diff --git a/sys/sema_inv/Kconfig b/sys/sema_inv/Kconfig new file mode 100644 index 0000000000..50ac0c0890 --- /dev/null +++ b/sys/sema_inv/Kconfig @@ -0,0 +1,12 @@ +# 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_SEMA_INV + bool "inverse Semaphores" + depends on TEST_KCONFIG + + select MODULE_ATOMIC_UTILS