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