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