ref: 063712ff422952e44e510c3d2ff9da3ca51ec807 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot