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.