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