Thanks for replying, in0.
Short answer to your Q is none of the ports were identified as those 2 you mentioned.
Now that you mentioned the ports, my COM enumeration in Device Manager is not showing any reaction when I plug in and out the board. Could it be that the board is dead?
