ref: 5ce48f5a822bea79c98a99e697c7a39a24b18f7a dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot