fix: set FreeRTOS Kernel priority to 14

Aim is to have Systick priority higher (lower value)
than Ethernet Timer

Signed-off-by: Alexandre Bourdiol <[email protected]>

Author: ABOSTM

src/FreeRTOSConfig_Default.h

@@ -199,7 +199,9 @@ PRIORITY THAN THIS! (higher priorities are lower numeric values. */
 
 /* Interrupt priorities used by the kernel port layer itself.  These are generic
 to all Cortex-M ports, and do not rely on any particular library functions. */
-#define configKERNEL_INTERRUPT_PRIORITY   ( configLIBRARY_LOWEST_INTERRUPT_PRIORITY << (8 - configPRIO_BITS) )
+/* Warning in case of Ethernet, this prio (used by systick) should be higher (lower value) than ethernet Timer */
+#define configKERNEL_INTERRUPT_PRIORITY   14
+
 /* !!!! configMAX_SYSCALL_INTERRUPT_PRIORITY must not be set to zero !!!!
 See http://www.FreeRTOS.org/RTOS-Cortex-M3-M4.html. */
 #define configMAX_SYSCALL_INTERRUPT_PRIORITY  ( configLIBRARY_MAX_SYSCALL_INTERRUPT_PRIORITY << (8 - configPRIO_BITS) )