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.