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