I am configuring the watchdog timer to reset the F280049C processor as follows:
SysCtl_setWatchdogPredivider( SYSCTL_WD_PREDIV_512 );
SysCtl_setWatchdogPrescaler( SYSCTL_WD_PRESCALE_32 );
// Configure watchdog timeout as a reset of processor.
SysCtl_setWatchdogMode( SYSCTL_WD_MODE_RESET );
However, the processor does not reboot from flash, but instead hits the ETSOP instruction inside the default unhandled interrupt service routine.
What's missing here?