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

Merge pull request #14821 from boraozgen/rtos-events-enable 

RTOS: Add configuration to enable RTX events
pull/14941/head
Martin Kojtal 2021-07-20 09:47:59 +02:00 committed by GitHub
parent a07ec0bfeb 8b4b48e74c
commit 2a24d81ef0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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_"],