From a7bb6bc90b302e9a6bb74cf271aacae8af5282c0 Mon Sep 17 00:00:00 2001 From: Gabor Toth Date: Thu, 2 Jul 2020 12:12:18 +0200 Subject: [PATCH] Update platform database Adding Musca B1 and Musca S1 platforms and removing duplicates. Change-Id: Ic57de23bdcaa8efd50f2371ce44a3b3e7945daed --- src/mbed_os_tools/detect/platform_database.py | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/mbed_os_tools/detect/platform_database.py b/src/mbed_os_tools/detect/platform_database.py index 1b4789a277..0a32b7298b 100644 --- a/src/mbed_os_tools/detect/platform_database.py +++ b/src/mbed_os_tools/detect/platform_database.py @@ -294,10 +294,8 @@ u"5004": u"ARM_CM3DS_MPS2", u"5005": u"ARM_MPS2_M0DS", u"5006": u"ARM_MUSCA_A1", - u"5007": u"ARM_MPS2_M1", - u"5009": u"ARM_MPS2_M3", - u"5011": u"ARM_MPS2_M4", - u"5015": u"ARM_MPS2_M7", + u"5007": u"ARM_MUSCA_B1", + u"5009": u"ARM_MUSCA_S1", u"5020": u"HOME_GATEWAY_6LOWPAN", u"5500": u"RZ_A1H", u"5501": u"GR_LYCHEE",