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