ref: 9840c50a3e0d2392a9102484e0caf970d3153790 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot