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