diff -r dd4a55fedea9 -r 9ede0dcfc2ac eric6/MicroPython/MicroPythonDevices.py
--- a/eric6/MicroPython/MicroPythonDevices.py Thu Oct 15 19:16:14 2020 +0200
+++ b/eric6/MicroPython/MicroPythonDevices.py Fri Oct 16 17:18:23 2020 +0200
@@ -73,6 +73,10 @@
},
}
+IgnoredBoards = (
+ (0x8086, 0x9c3d),
+)
+
def getSupportedDevices():
"""
@@ -117,7 +121,7 @@
port.portName()))
supported = True
if not supported:
- if vid and pid:
+ if vid and pid and (vid, pid) not in IgnoredBoards:
unknownDevices.append((vid, pid, port.description()))
logging.debug("Unknown device: (0x%04x:0x%04x %s)",
vid, pid, port.description())
