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