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