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