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