I'm using a cc2531 usb dongle for contiki communication, as demonstrated in the texas link processors.wiki.ti.com/.../Cc26xx_sw_examples, I also had a study on texas links, and the git hub . However I have two difficulties: 1 - My USB dongle driver is not being recognized in the directory. 2- I'm having difficulties in texas step by step, how can I debug the program? send information via serial to the board?