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