ref: 82eb68775a2ba40e0923f0330fb023e35d53be31 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot