ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

RTOS: Add configuration to enable RTX events

pull/14821/head
Bora Özgen 2021-06-23 14:38:35 +02:00
parent 5aaf3a3390
commit 8b4b48e74c
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cmsis/device/rtos/include/mbed_rtx_conf.h
View File

@ -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 */

4
cmsis/device/rtos/mbed_lib.json
View File

@ -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_"],