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