Merge branch 'main' into dev-ip-build-sep

FreeRTOS · Oct 18, 2024 · 9e9b29f · 9e9b29f
2 parents 1245cb7 + 07e9dd0
commit 9e9b29f
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/source/include/FreeRTOSIPConfigDefaults.h b/source/include/FreeRTOSIPConfigDefaults.h
@@ -1137,10 +1137,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
-
 /*---------------------------------------------------------------------------*/
 
 /*