ref: 7562da90e562e65156042574e088d4359a8fccba dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot