ref: d1771d74328a72c4499bf92f1eae76253ebad43e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot