I need to generate a very low frequency PWM. The period has to be around 1/2 to 1 second. The only way I can get a frequency that low is to use the SYSCTL_PWMDIV_64 in the PWM clock set. Unfortunately, this parameter doesn't seem to work. Everything up until SYSCTL_PWMDIV_32 works as expected but when I try to use SYSCTL_PWMDIV_64 no output is generated by the PWM. For now I have just divided down the system clock as well, but that isn't a solution I want to use long term.
Is there something I'm missing about not being able to use SYSCTL_PWMDIV_64?