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