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