I installed kmod-hwmon-pwmfan on my rockpro64 to get my tiny CPU fan going. It now runs at 100% and I am thankful but I want to change it to 80% for the time being or setup HWmonitoring so it's only running at 100% speed when it needs it.
I've found suggestions online like looking in sysfs, fan_control1, or pwm_fan, but I can't find any of these locations.