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