Clone of official tools

Revision:
33:c8effba9595f
Parent:
24:25bff2709c20
Child:
34:42f20e28adf5
--- a/build_profiles.py	Wed Jan 04 11:58:24 2017 -0600
+++ b/build_profiles.py	Wed Feb 08 11:04:24 2017 -0600
@@ -45,7 +45,7 @@
                 profile = 'v3'
             elif idx <= 105:
                 profile = 'v4'
-            elif idx <= 121:
+            elif idx <= 135:
                 profile = 'v5'
 
     return profile
@@ -180,6 +180,20 @@
 }
     
 MBED_SDK_REV_MAP = {
+    '6f4d9ba055b3': 122,
+    'c1a077c0ccc5': 123,
+    'f1e13e937fab': 124,
+    'a974dc8aa35b': 125,
+    '4132e2258101': 126,
+    '62ea7dd49f26': 127,
+    'e6f9c99959f3': 128,
+    '31768d6a83cd': 129,
+    '620374818e03': 130,
+    'f4b892cad2b9': 131,
+    '9c0c086c88f0': 132,
+    'a1e1b8eadde3': 133,
+    '1a303c31ec8f': 134,
+    '0b434d521da0': 135,
     '6c34061e7c34': 121,
     '7c328cabac7e': 120,
     'aae6fcc7d9bb': 119,
@@ -302,4 +316,4 @@
     '969fc1867111': 2,
     '6b7f447ca868': 1,
     '82220227f4fa': 0,
-}
\ No newline at end of file
+}