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