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