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