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