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