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