ref: 56927887249d8529afa57c38d7935edb2d9cc49f dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot