ref: 2271bdf6697c1f41a1267c835a60f3131d5dfdda dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot