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