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