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