I'm trying to use the watchdog timers on the lx4f230h5qr. Watchdog0 seems to work, but Watchdog1 doesn't.
I'm enabling power to both 0 and 1 using SYSCTL_PCWD_P0
I'm enabling clock to both 0 and 1 using SYSCTL_RCGCWD_R
I'm resetting and then un-resetting both 0 and 1 using SYSCTL_SRWD_R
I'm watching SYSCTL_PRWD_R to see them indicate they are alive and I see Watchdog0 is ok, but Watchdog1 is not.
I can access WATCHDOG0_CTL_R, but when I attempt to read WATCHDOG1_CTL_R, I get a fault interrupt.
This seems to be the case whether I am running the system clock from PIOSC or an external clock source on Main OSC.
What are the steps necessary to get the watchdog 1 to function