Diff: events/mbed_lib.json

Revision:

0:b74591d5ab33

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/events/mbed_lib.json	Mon Dec 11 17:54:04 2017 +0000
@@ -0,0 +1,30 @@
+{
+    "name": "events",
+    "config": {
+        "present": 1,
+        "shared-stacksize": {
+            "help": "Stack size (bytes) for shared event queue thread",
+            "value": 1024
+        },
+        "shared-eventsize": {
+            "help": "Event buffer size (bytes) for shared event queue",
+            "value": 256
+        },
+        "shared-dispatch-from-application": {
+            "help": "No thread created for shared event queue - application will call dispatch from another thread (eg dispatch_forever at end of main)",
+            "value": false
+        },
+        "shared-highprio-stacksize": {
+            "help": "Stack size (bytes) for shared high-priority event queue thread",
+            "value": 1024
+        },
+        "shared-highprio-eventsize": {
+            "help": "Event buffer size (bytes) for shared high-priority event queue",
+            "value": 256
+        },
+        "use-lowpower-timer-ticker": {
+            "help": "Enable use of low power timer and ticker classes. May reduce the accuracy of the event queue.",
+            "value": 0
+        }
+    }
+}