ref: 303df763c494fbe998622eb6f1e3c5748cd211ad dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot