Merge branch 'main' into dev-stm32

FreeRTOS · Oct 18, 2024 · b1d730b · b1d730b
2 parents adfb1d1 + 07e9dd0
commit b1d730b
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/source/include/FreeRTOSIPConfigDefaults.h b/source/include/FreeRTOSIPConfigDefaults.h
@@ -1162,10 +1162,6 @@ STATIC_ASSERT( pdMS_TO_TICKS( ipconfigPHY_LS_LOW_CHECK_TIME_MS ) <= portMAX_DELA
     #error ipconfigIP_TASK_PRIORITY must be at least 0
 #endif
 
-#if ( ipconfigIP_TASK_PRIORITY > ( configMAX_PRIORITIES - 1 ) )
-    #error ipconfigIP_TASK_PRIORITY must be at most configMAX_PRIORITIES - 1
-#endif
-
 /*---------------------------------------------------------------------------*/
 
 /*