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