# CONFIG_SENSORS_W83L785TS is not set
