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