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