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