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