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