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