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