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