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