ref: 302960b66c5b7c642eabe2bfa19b3c5346c1629d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot