RTOS: Add configuration to enable RTX events

Author: boraozgen

cmsis/device/rtos/include/mbed_rtx_conf.h

@@ -159,6 +159,8 @@
 //#define EVR_RTX_MEMORY_POOL_ERROR_DISABLE
 //#define EVR_RTX_MESSAGE_QUEUE_ERROR_DISABLE
 
+#if !MBED_CONF_RTOS_ENABLE_ALL_RTX_EVENTS
+
 //Following events are NOT used by Mbed-OS, you may enable them if needed for debug purposes
 #define EVR_RTX_MEMORY_INIT_DISABLE
 #define EVR_RTX_MEMORY_ALLOC_DISABLE
@@ -320,4 +322,6 @@
 #define EVR_RTX_MESSAGE_QUEUE_DELETE_DISABLE
 #define EVR_RTX_MESSAGE_QUEUE_DESTROYED_DISABLE
 
+#endif /* !MBED_CONF_RTOS_ENABLE_ALL_RTX_EVENTS */
+
 #endif /* MBED_RTX_CONF_H */

cmsis/device/rtos/mbed_lib.json

@@ -57,6 +57,10 @@
          "msgqueue-data-size": {
             "help": "The total memory available for all CMSIS-RTOSv2 object-pool message queues combined",
             "value": 0
+         },
+         "enable-all-rtx-events": {
+            "help": "Enables all of the RTX events which are disabled by default for optimization",
+            "value": false
          }
     },
     "macros": ["_RTE_"],