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