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