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