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