ref: 2fd21be2ee18abf1992cf6481c5521cea99b825d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot