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