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