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