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