ref: 7b3c5d9257286d653c2061501ebf8835e05d4658 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot