freertos-smp: Disable CONFIG_FREERTOS_CHECK_MUTEX_GIVEN_BY_OWNER for FreeRTOS SMP
An explicit check of the mutex owner during a mutex release operation is
not necessary for FreeRTOS SMP as this is checked by default. Hence, the
corresponding Kconfig option is removed.
@@ -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
