ref: 438f5e951fecbdac38e36f7a01ed31c78b14320e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot