From 109b33683361517794306ddc435585b9e72b4aa3 Mon Sep 17 00:00:00 2001
From: Leandro Lanzieri <leandro.lanzieri@haw-hamburg.de>
Date: Fri, 19 Nov 2021 09:40:06 +0100
Subject: [PATCH] sys/devfs: model Kconfig

---
 sys/Kconfig          |  1 +
 sys/fs/Kconfig       |  8 ++++++++
 sys/fs/devfs/Kconfig | 32 ++++++++++++++++++++++++++++++++
 3 files changed, 41 insertions(+)
 create mode 100644 sys/fs/Kconfig
 create mode 100644 sys/fs/devfs/Kconfig

diff --git a/sys/Kconfig b/sys/Kconfig
index 30e9feeb62..98e7f2a5f1 100644
--- a/sys/Kconfig
+++ b/sys/Kconfig
@@ -28,6 +28,7 @@ rsource "event/Kconfig"
 rsource "fido2/Kconfig"
 rsource "fmt/Kconfig"
 rsource "frac/Kconfig"
+rsource "fs/Kconfig"
 rsource "hashes/Kconfig"
 rsource "iolist/Kconfig"
 rsource "isrpipe/Kconfig"
diff --git a/sys/fs/Kconfig b/sys/fs/Kconfig
new file mode 100644
index 0000000000..190f62a09a
--- /dev/null
+++ b/sys/fs/Kconfig
@@ -0,0 +1,8 @@
+# Copyright (c) 2021 HAW Hamburg
+#
+# 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.
+#
+
+rsource "devfs/Kconfig"
diff --git a/sys/fs/devfs/Kconfig b/sys/fs/devfs/Kconfig
new file mode 100644
index 0000000000..ae980c8135
--- /dev/null
+++ b/sys/fs/devfs/Kconfig
@@ -0,0 +1,32 @@
+# Copyright (c) 2021 HAW Hamburg
+#
+# 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.
+#
+
+menuconfig MODULE_DEVFS
+    bool "DevFS support"
+    depends on MODULE_VFS
+    help
+        This file system implementation allows devices to register file names
+        for easier access to device drivers from shell commands etc. The idea is
+        similar to the /dev directory on Unix.
+
+if MODULE_DEVFS
+
+config MODULE_DEVFS_HWRNG
+    bool "Add HWRNG device"
+    depends on HAS_PERIPH_HWRNG
+    select MODULE_PERIPH_HWRNG
+    help
+      Adds the hardware random number generator (HWRNG) as a device
+      (/dev/hwrng).
+
+config MODULE_DEVFS_RANDOM
+    bool "Add random device"
+    select MODULE_RANDOM
+    help
+      Adds a device to generate random (/dev/urandom).
+
+endif # MODULE_DEVFS