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