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