From d050b2b63ca1b46bd707e105cd016920d2b0d25c Mon Sep 17 00:00:00 2001 From: Sudeep Mohanty Date: Tue, 25 Oct 2022 13:13:50 +0200 Subject: [PATCH] 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. --- components/freertos/Kconfig | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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