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