Tiva cc3200 is a small board with an integrated wifi-chip. The Linux-kernel needs a few configs to be able to talk to this board using a serial console( via usb):
modprobe ftdi_sio
echo 0451 c32a > /sys/bus/usb-serial/drivers/ftdi_sio/new_id
Output of dmesg:
dmesg
[7717.631763] usb 1-1: new full-speed USB device number 6 using xhci_hcd
[7717.765206] usb 1-1: New USB device found, idVendor=0451, idProduct=c32a
[7717.765209] usb 1-1: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[7717.765211] usb 1-1: Product: USB JTAG/SWD
[7717.765212] usb 1-1: Manufacturer: FTDI
[7717.765213] usb 1-1: SerialNumber: cc3101
[7717.767653] ftdi_sio 1-1:1.0: FTDI USB Serial Device converter detected
[7717.767688] usb 1-1: Detected FT2232C
[7717.767899] usb 1-1: FTDI USB Serial Device converter now attached to ttyUSB0
[7717.769914] ftdi_sio 1-1:1.1: FTDI USB Serial Device converter detected
[7717.769942] usb 1-1: Detected FT2232C
[7717.770078] usb 1-1: FTDI USB Serial Device converter now attached to ttyUSB1