Hardware pwm works well!

Hardware pwm works with several pins at the same time, however
tc pwm doesn't work at all. From our understanding are the settings
correct but there is no output...