#!/bin/bash

# Enable WDT register for writing
devmem2 0x400040bc h 0x1

devmem2 0x4003c00c h 0
devmem2 0x4003c004 h 0
devmem2 0x4003c014 h 0

# Disable WDT registers for writing
devmem2 0x400040bc h 0