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