ref: 4ed54e749e1ada1a235c6357fc68c1d0770ebab1 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot