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