diff --git a/components/freertos/Kconfig b/components/freertos/Kconfig index 9b3c15002b..bdb5a21b7c 100644 --- a/components/freertos/Kconfig +++ b/components/freertos/Kconfig @@ -313,7 +313,9 @@ menu "FreeRTOS" Note: Users will need to provide a ``void vPortCleanUpTCB ( void *pxTCB )`` callback config FREERTOS_CHECK_MUTEX_GIVEN_BY_OWNER - # Todo: Not supported on SMP FreeRTOS (IDF-4986) + # This feature is innately supported in FreeRTOS SMP, and hence not available as a config option when + # FreeRTOS SMP is enabled. + depends on !FREERTOS_SMP bool "Check that mutex semaphore is given by owner task" default y help