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