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