I have a EK-TM4C123GXL that will not show up on any Windows 10 computer in the device manager. I plugged int into a 32 bit windows 7 computer and it shows up as "Base System Device," but any attempt to install the downloaded drivers result in an error and nothing being installed. I'm not sure what to do at this point as I cannot do anything to the microcontroller itself as it will not show up in Windows 10 and will not accept drivers in 32-bit 7.