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