ref: 5f2cf12f3844eb083042eb7648cbbca87d22a236 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot