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