Marco Zecchini
/
Example_RTOS
Rtos API example
Diff: mbed-os/events/mbed_lib.json
- Revision:
- 0:9fca2b23d0ba
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/mbed-os/events/mbed_lib.json Sat Feb 23 12:13:36 2019 +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 + } + } +}