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