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