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