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