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