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