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