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