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