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