The lsusb command provided in Ubuntu Linux provides information about USB devices connected to your computer. To use lsusb, open a terminal window and type:
Bus 001 Device 005: ID 1cbe:00fd Luminary Micro Inc. In-Circuit Debug Interface
The bus number and device number will likely be different, but take note of them. Now get more information about the device by typing:
sudo lsusb -v -s [BUS_NUMBER]:[DEVICE_NUMBER]
For example, if you had seen the output listed above, you would type:
sudo lsusb -v -s 002:006
Scroll up through the information about your hardware. For the original CEDT, you should see something like this:
idVendor 0x1cbe Luminary Micro Inc. idProduct 0x00fd In-Circuit Debug Interface bcdDevice 1.00 iManufacturer 1 Texas Instruments iProduct 2 In-Circuit Debug Interface iSerial 3 0E21127D
Pay careful attention to the values following idVendor, idProduct, iProduct, and iSerial. If those values for your hardware don't match the values listed above, OpenOCD won't recognize the EK-TM4C123GXL Board.
If lsusb doesn't show the values you expect for your hardware, there may be a problem with the hardware itself or with your USB drivers.