ref: 4c96751045a7f0baf6b3a872c20ada9da1bcd5f8 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot