I think that a few things are missing from the HAL file.
Looking at the btifile definition (
github.com/LinuxCNC/hostmot2-firmware/bl...c/PIN_SVST4_4_48.vhd pin 7 should be the pwm output, so that part is OK.
I think what is missing are the connections that turn on the pwmgen and send a value to it.
net spindle-output hm2_7i43.0.pwmgen.00.value
net spindle-enable hm2_7i43.0.pwmgen.00.enable
You probably need some scaling too.
setp hm2_7i43.0.pwmgen.00.scale 5000