ref: 57741d473f9d5165d142b165bd837984f6428c66 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot