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.