Hi,
Does it work without using MicroPython? i.e. is this just a simple blink led sketch?
Have you successfully programmed a TI board on this particular computer before?
It's quite likely to be drivers (assuming the board is OK) -- what do you see in windows device manager?