i would like to use the watchdog of the S32K144 but it does not work, i. e. the watchdog does not perform a reset when an endless loop is entered. I don't change the watchdog registers WDOG->CS and WDOG->TOVAL so that the watchdog should be initially active. I have also checked that the predefined startup code does not change the WDOG registers. The reset value of register WDOG->CS is 10100110000000 which means that bit 7 (Enable bit) is 1 and bits 8 and 9 (Clock source) are 01. WDOG->TOVAL has the predefined value 1024. Are there any additional settings required to activate the watchdog?