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