#include <device.hpp>

#include <ti/devices/msp432p4xx/inc/msp432p401r.h>

void hardwareInit()
{
	WDT_A->CTL = WDT_A_CTL_PW | WDT_A_CTL_HOLD;
}