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