Mirrors/esp-idf
1
0
Fork 0
mirror of https://github.com/espressif/esp-idf.git synced 2026-08-18 06:35:35 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix(freertos): hide mutex-owner check config

Browse Source
This commit is contained in:
Sudeep Mohanty
2026-04-01 16:01:34 +02:00
committed by BOT
parent 739333b528
commit 11569c0e3d
2 changed files with 3 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
components/freertos/Kconfig
View File

@@ -432,14 +432,11 @@ menu "FreeRTOS"
Note: Users will need to provide a ``void vPortCleanUpTCB ( void *pxTCB )`` callback
config FREERTOS_CHECK_MUTEX_GIVEN_BY_OWNER
# This feature is innately supported in FreeRTOS SMP, and hence not available as a config option when
# FreeRTOS SMP is enabled.
# TODO(IDF-15523): Remove this hidden compatibility option entirely.
# This feature is innately supported in FreeRTOS SMP, and IDF FreeRTOS always enables it.
depends on !FREERTOS_SMP
bool "Check that mutex semaphore is given by owner task"
bool
default y
help
If enabled, assert that when a mutex semaphore is given, the task giving the semaphore is the task
which is currently holding the mutex.
config FREERTOS_ISR_STACKSIZE
int "ISR stack size"

3
components/freertos/config/include/freertos/FreeRTOSConfig.h
View File

@@ -292,9 +292,6 @@
#ifdef CONFIG_FREERTOS_TLSP_DELETION_CALLBACKS
#define configTHREAD_LOCAL_STORAGE_DELETE_CALLBACKS 1
#endif /* CONFIG_FREERTOS_TLSP_DELETION_CALLBACKS */
#if CONFIG_FREERTOS_CHECK_MUTEX_GIVEN_BY_OWNER
#define configCHECK_MUTEX_GIVEN_BY_OWNER 1
#endif /* CONFIG_FREERTOS_CHECK_MUTEX_GIVEN_BY_OWNER */
#endif /* !CONFIG_FREERTOS_SMP */
/* ------------------------------------------------ ESP-IDF Additions --------------------------------------------------