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