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