ref: 58fe71b2f56fade7db49069c123c97a69f53ac02 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot