Added LPC4088_DM in workspace_tools

workspace_tools/targets.py

@@ -306,6 +306,11 @@ class LPC4088(LPCTarget):
         t_self.debug("Generated custom binary file (internal flash + SPIFI)")
         LPCTarget.lpc_patch(t_self, resources, elf, binf)
 
+class LPC4088_DM(LPC4088):
+    def __init__(self):
+        LPC4088.__init__(self)
+        self.extra_labels.append('LPC4088_DM')
+
 class LPC4330_M4(LPCTarget):
     def __init__(self):
         LPCTarget.__init__(self)
@@ -866,6 +871,7 @@ TARGETS = [
     LPC824(),
     SSCI824(),      # LPC824
     LPC4088(),
+    LPC4088_DM(),
     LPC4330_M4(),
     LPC4330_M0(),
     LPC4337(),

workspace_tools/tests.py

@@ -222,14 +222,14 @@ TESTS = [
         "source_dir": join(TEST_DIR, "mbed", "spifi1"),
         "dependencies": [MBED_LIBRARIES, TEST_MBED_LIB],
         "automated": True,
-        "mcu": ["LPC4088"]
+        "mcu": ["LPC4088","LPC4088_DM"]
     },
     {
         "id": "MBED_A23", "description": "SPIFI for LPC4088 (test 2)",
         "source_dir": join(TEST_DIR, "mbed", "spifi2"),
         "dependencies": [MBED_LIBRARIES, TEST_MBED_LIB],
         "automated": True,
-        "mcu": ["LPC4088"]
+        "mcu": ["LPC4088","LPC4088_DM"]
     },
     {
         "id": "MBED_A24", "description": "Serial echo with RTS/CTS flow control",
@@ -341,7 +341,7 @@ TESTS = [
         "source_dir": join(TEST_DIR, "mbed", "sleep"),
         "dependencies": [MBED_LIBRARIES, TEST_MBED_LIB],
         "duration": 30,
-        "mcu": ["LPC1768", "LPC11U24", "LPC4088","NRF51822"]
+        "mcu": ["LPC1768", "LPC11U24", "LPC4088","LPC4088_DM","NRF51822"]
     },
     {
         "id": "MBED_5", "description": "PWM",