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