ref: 52ad5b3ec5138a85e4c976013adbc54642f19b74 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot