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