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