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