I have a EK-TM4C1294XL.
I am following the instructions on page 7: http://www.ti.com/lit/ml/spmu287c/spmu287c.pdf
The device manager on my Windows 7 only shows one (1) In-Circuit Debug Device, not 3 as expected. However, my Windows XP running in VmWare on the same computer shows 3 devices.
I use the included USB cable. I have also tried other USB cables.
I presume the above problem is why I am unable to install the drivers.