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