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