I'm on it! See https://github.com/soypat/tinygo/blob/patch-pico-pwm/src/machine/machine_rp2040_pwm.go