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