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