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