ref: 800670da4e504b0e2d25dcaddb6164bcc3d7fbe5 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot