Link additional framework core libraries

Author: valeros

mbed.py

@@ -155,9 +155,15 @@ def get_dynamic_manifest(name, config, extra_inc_dirs=[]):
 # Process Core files from framework
 #
 
-env.Append(CPPPATH=[
-    join(FRAMEWORK_DIR, d) for d in mbed_config.get("core").get("inc_dirs")
-])
+env.Append(
+    CPPPATH=[
+        join(FRAMEWORK_DIR, d) for d in mbed_config.get("core").get("inc_dirs")
+    ],
+
+    LIBS=[
+        env.File(join(FRAMEWORK_DIR, d)) for d in mbed_config.get("core").get("libraries")
+    ]
+)
 
 env.Append(CPPPATH=[
     FRAMEWORK_DIR,