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