ref: 07b245943ac5991b98ee4683f6c40efdf0fca351 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot