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