ref: 6033931b02f9a9bbe33a84f9c777bb8ce9260b2f dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot