ref: 93b8cf39ac29e3cd6db8b74260ac0c1ebafa375d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot