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