#!/bin/rc
echo reboot > /dev/reboot