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