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