ref: 71b42354a99a5bd152e0db49d1cb7329a20335f2 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot