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