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