From ce2c415dbb7c980b05bf3116745dce11c82efd3d Mon Sep 17 00:00:00 2001
From: MrKevinWeiss <weiss.kevin604@gmail.com>
Date: Wed, 2 Mar 2022 14:04:02 +0100
Subject: [PATCH] drivers/tsl4531x: Update kconfig model

---
 drivers/tsl4531x/Kconfig | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/drivers/tsl4531x/Kconfig b/drivers/tsl4531x/Kconfig
index 9cdd583c00..643477edc8 100644
--- a/drivers/tsl4531x/Kconfig
+++ b/drivers/tsl4531x/Kconfig
@@ -11,3 +11,9 @@ config MODULE_TSL4531X
     depends on TEST_KCONFIG
     select MODULE_PERIPH_I2C
     select MODULE_XTIMER
+
+config HAVE_TSL4531X
+    bool
+    select MODULE_TSL4531X if MODULE_SAUL_DEFAULT
+    help
+      Indicates that a TSL4531X illuminance sensor is present.