/* Enables the WDT. This actually starts the watchdog, you should have already selected modes and set timeouts. If WDT_MODE_INT is used, the interrupt should also be enabled using the NVIC before enabling the WDT.  */
void wdt_enable(bool en)
/* Enables the WDT. This actually starts the watchdog, you should have already selected modes and set timeouts. If WDT_MODE_INT is used, the interrupt should also be enabled using the NVIC before enabling the WDT.  */
void wdt_enable(bool en)
{
	if (en) {
		WDT_CR |= 0x1;
	} else {
		WDT_CR &= ~0x1;
	}
}