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