Pedro Correia / mbed-dev

mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Diff: platform/mbed_lib.json

Revision:
186:707f6e361f3e
Parent:
184:08ed48f1de7f
--- a/platform/mbed_lib.json	Thu Apr 19 17:12:19 2018 +0100
+++ b/platform/mbed_lib.json	Fri Jun 22 16:45:37 2018 +0100
@@ -34,6 +34,11 @@
         "force-non-copyable-error": {
             "help": "Force compile time error when a NonCopyable object is copied",
             "value": false
+        },
+
+        "poll-use-lowpower-timer": {
+            "help": "Enable use of low power timer class for poll(). May cause missing events.",
+            "value": false
         }
     },
     "target_overrides": {