ref: 4d872079d36939c3287b2968fbada7c4e4738762 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot