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