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