#ifndef HERMES_WDT_H
#define HERMES_WDT_H

// Turn the watchdog timer off.  This should be called on startup, in case the
// previous reset was caused by the watchdog timer or a runaway pointer which
// enabled the watchdog timer.
void Wdt_Off();
// Cause a reset using the watchdog timer.
__attribute__((noreturn)) void Wdt_Reset();

#endif