#include <stdint.h>
#include "app_urv_regs.h"
#include "hydra_supervisor_regs.h"

#define SUPERVISOR_BASE 0x80000
#define SUPERVISOR ((volatile struct hydra_supervisor_regs *)SUPERVISOR_BASE)
#define WD_KEY 0xc0423bc9
#define REGS ((volatile struct app_urv_regs *)0x100000)
