ref: 7c3db1d6203a1a63c663373917e80db42b44120b dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot