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