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