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