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