default or selected kernelversion does not have config value CONFIG_LEDS_TPS6131X.
Result is shown for kernelversion 6.16-rc7
LED support for TI TPS6131x flash LED driver
modulename: leds-tps6131x.ko
configname: CONFIG_LEDS_TPS6131X
Linux Kernel Configuration
└─>Device Drivers
└─>LED Support
└─>Device Tree and Open Firmware support
└─>GPIO Support
└─>LED support for TI TPS6131x flash LED driver
In linux kernel since version 6.1.145 (release Date: 2025-07-14)
This option enables support for Texas Instruments TPS61310/TPS61311
flash LED driver.
This driver can be built as a module, it will be called "leds-tps6131x".
flash LED driver.
This driver can be built as a module, it will be called "leds-tps6131x".