I don't think I have a timer enabled. I don't see the WDT setting in the outline, but in the configuration.xml it is disabled. Most importantly clock_cfg.h is generated as "#define SPC5_DISABLE_WATCHDOG TRUE".
However, almost randomly, I am getting an IVOR12 interrupt:
That said, the system runs for ten minutes, one minute, or five, then hangs up in IVOR12. The only driver I am using is the serial drivers, and may there is an issue there? It even triggers the ivor when degugging, which I thought the WDT was disabled for debugging as well.