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