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