echo "=== HID Sensor Hub ==="
grep -E '^(CONFIG_HID_SENSOR_HUB=|# CONFIG_HID_SENSOR_HUB is not set)' \
/boot/config-7.2.8
echo "=== Industrial I/O ==="
grep -E '^(CONFIG_IIO=|# CONFIG_IIO is not set)' \
/boot/config-7.2.8
echo "=== Sensor drivers ==="
grep -E '^CONFIG_IIO_HID=' \
/boot/config-7.2.8
echo "=== Installed modules ==="
find /lib/modules/7.2.8/kernel/drivers/hid \
-iname '*sensor*'