hello gtj,
since we have tachometer, we don’t use tach-gpio.
FYI, please read rpm from tachometer as below.
thanks
# First check which hwmon* is for tach
$ cat /sys/class/hwmon/hwmon*/name
# please use pwm_tach nodes to read rpm
$ cat /sys/class/hwmon/hwmon1/rpm