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