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