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