ref: 747530e0226faf6b446c6d08c0236e334cf7ea57 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot