WDOG 1 registers (after my blinky LED turns off, which I am relatively confident it the WDOG timing out. After this my debugger breaks at an unknown address)

Register values before timeout:

Here are the mux options for the WDOG1 signals, taken from the reference manual

Mux Control registers for the above pins:
- IOMUXC_SW_MUX_CTL_PAD_GPIO_AD_B0_14 0x00000007 ALT7
- IOMUXC_SW_MUX_CTL_PAD_GPIO_AD_B0_03 0x00000002 ALT2
- IOMUXC_SW_MUX_CTL_PAD_GPIO_EMC_15 0x00000000 ALT0
- IOMUXC_SW_MUX_CTL_PAD_GPIO_EMC_39 0x00000000 ALT0
- IOMUXC_SW_MUX_CTL_PAD_GPIO_SD_B0_06 0x00000005 ALT5
We are also not planning on using the interrupt, instead we just have a periodic task in FreeRTOS that will service the watchdog. Code for this task is below.
Hardware HW = *((Hardware*)pvParameters);
HW.WDOGStart();
HW.Blinky2Set();
HW.Blinky1Clear();
const TickType_t xDelay = 1000 / portTICK_PERIOD_MS;
while(true) {
HW.WDOGService();
HW.Blinky1Toggle();
for(;;); // temp infinite loop to test wwatchdog
vTaskDelay( xDelay );
}
void Hardware::WDOGService() {
WDOG_Refresh(WDOG1);
}
I have re-verified that there is no output on either GPIO_AD_B0_03, as well as at GPIO_AD_B0_14. Both pins remain at 0V (with some noise) throughout the process.