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