ref: 20780e694e13d767f637e1e27961b00d5cbe2607 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot