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