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