ref: 56bb2857909aa85cd8a1ebef36db62f39e095d14 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot