From c24f61df3639db4207b763e189413b8d417be8d7 Mon Sep 17 00:00:00 2001
From: Sam El-Husseini <microsoftsam@users.noreply.github.com>
Date: Fri, 1 Dec 2017 15:11:44 -0800
Subject: [PATCH] Fix serial on devices that don't have the mbed serial driver
 installed (#583)

---
 pxtarget.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pxtarget.json b/pxtarget.json
index bf154e69..3b4649dc 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -201,7 +201,7 @@
         "serviceId": "microbit"
     },
     "serial": {
-        "nameFilter": "^mbed Serial Port",
+        "nameFilter": "^(mbed Serial Port|DAPLink CMSIS-DAP)",
         "log": true,
         "useEditor": true,
         "editorTheme": {
@@ -363,4 +363,4 @@
             "editor.background": "#ecf0f1"
         }
     }
-}
\ No newline at end of file
+}