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