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