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