ref: 575398eb9bc2c6f1bcfce7bf8fffbce73a96e8da dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot