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