From 34715621cfe4ea74da9418305ec124246fe65dfc Mon Sep 17 00:00:00 2001
From: Leandro Lanzieri <leandro.lanzieri@haw-hamburg.de>
Date: Mon, 20 Apr 2020 14:44:01 +0200
Subject: [PATCH] sys/div: Add module to Kconfig

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

diff --git a/sys/Kconfig b/sys/Kconfig
index 64352df14d..89590e2a6b 100644
--- a/sys/Kconfig
+++ b/sys/Kconfig
@@ -7,6 +7,7 @@
 menu "System"
 
 rsource "auto_init/Kconfig"
+rsource "div/Kconfig"
 rsource "net/Kconfig"
 rsource "Kconfig.newlib"
 rsource "Kconfig.stdio"
diff --git a/sys/div/Kconfig b/sys/div/Kconfig
new file mode 100644
index 0000000000..35f8e4c4ef
--- /dev/null
+++ b/sys/div/Kconfig
@@ -0,0 +1,13 @@
+# Copyright (c) 2020 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.
+#
+
+config MODULE_DIV
+    bool "Integer division"
+    depends on TEST_KCONFIG
+    help
+        Provides some integer division functions that can be used to prevent
+        linking in compiler-generated ones, which are often larger.