ref: 8da5b7593f16f61d134859a9476481b184a8857b dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot