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