|Plug in your board and wait for Windows to begin it's driver installation process. After a few moments, the process will fail, despite its best efforts.|
Click on the Start Menu, right click on "Computer", and select "Manage".
Select "Device Manager" from the left, then look for "Unknown device" or "Arduino *Board Name*" under "Other devices"
Right click on the "Unknown device" or "Arduino *Board Name*" port and choose the "Update Driver Software" option.
Next, choose the "Browse my computer for Driver software" option.
Finally, navigate to and select the Arduino driver file, named "Arduino*BoardName*.inf", located in the "Drivers/Arduino" folder of the ROBOTC software (typically in C:/Program Files/Robomatter Inc/ROBOTC Development Environment/)
If Windows is unable to verify the publisher of this driver, please select "Install this driver software anyway.
Windows will finish up the driver installation from there.