I'm trying to install the drivers for the EK-TM4C123 development kit in Windows 10. When I plug it into the USB port, it is not visible under "Other Devices" or anywhere else in the device manager. I've tried on two different Window 10 machines and gotten the same result. There was no message from Windows 10 indicating there is any issue with the USB port. There is power to the EK-TM4C123 so the USB port at least has power.