My team is has been using the Stellaris 6459 drivers for connecting to our custom TM4C129 board's USB which is set up for serial/UART.
Are these the drivers that we should be using?
They are the ones found at: http://www.ti.com/tool/sw-usb-windrivers