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