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