#!/bin/sh
#
# This will reboot the system by bringing the external reset signal low.
#
portf 0
