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