You could look into the pbp book at HPWM.
And then invert the hpwm output to another pin.
The invert command is also in the pbp book.