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