Disable high prio queue: ARMmbed#10256

janjongboom · Mar 28, 2019 · c5aabab · c5aabab
1 parent 6b84b14
commit c5aabab
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/events/mbed_lib.json b/events/mbed_lib.json
@@ -25,6 +25,10 @@
         "use-lowpower-timer-ticker": {
             "help": "Enable use of low power timer and ticker classes in non-RTOS builds. May reduce the accuracy of the event queue. In RTOS builds, the RTOS tick count is used, and this configuration option has no effect.",
             "value": 0
+        },
+        "enable-highprio-queue": {
+            "help": "Enables the high priority queue. Disabling this feature will return the mbed_event_queue() when requesting the high prio queue.",
+            "value": 1
         }
     }
 }
diff --git a/events/mbed_shared_queues.cpp b/events/mbed_shared_queues.cpp
@@ -69,7 +69,11 @@ EventQueue *mbed_event_queue()
 #ifdef MBED_CONF_RTOS_PRESENT
 EventQueue *mbed_highprio_event_queue()
 {
+#if MBED_CONF_EVENTS_ENABLE_HIGHPRIO_QUEUE == 1
     return do_shared_event_queue_with_thread<osPriorityHigh, MBED_CONF_EVENTS_SHARED_HIGHPRIO_EVENTSIZE, MBED_CONF_EVENTS_SHARED_HIGHPRIO_STACKSIZE>("shared_highprio_event_queue");
+#else
+    return mbed_event_queue();
+#endif
 }
 #endif