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