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