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