ref: 3e94fbcf9c6caa7cde6051bec82cae3b1c8d3e11 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot