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