ref: 51b0028448ef376a44e00c29fed03bc5be352ddc dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot