From cc789235f5da138206f5276c9bc5191dda26a7ba Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Sat, 20 May 2023 16:42:06 +0200
Subject: [PATCH] sys/pipe: model in Kconfig

---
 sys/Kconfig      |  1 +
 sys/pipe/Kconfig | 12 ++++++++++++
 2 files changed, 13 insertions(+)
 create mode 100644 sys/pipe/Kconfig

diff --git a/sys/Kconfig b/sys/Kconfig
index d2f1743fac..2e40b258b2 100644
--- a/sys/Kconfig
+++ b/sys/Kconfig
@@ -87,6 +87,7 @@ rsource "net/Kconfig"
 rsource "od/Kconfig"
 rsource "oneway-malloc/Kconfig"
 rsource "phydat/Kconfig"
+rsource "pipe/Kconfig"
 rsource "pm_layered/Kconfig"
 rsource "posix/Kconfig"
 rsource "preprocessor/Kconfig"
diff --git a/sys/pipe/Kconfig b/sys/pipe/Kconfig
new file mode 100644
index 0000000000..3cde3abf76
--- /dev/null
+++ b/sys/pipe/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_PIPE
+    bool "Statically allocated pipes"
+    depends on TEST_KCONFIG
+    help
+        Implementation for statically allocated pipes.