Darian Leung 16ccb31d33 change(freertos/idf): Make v10.5.1 the default kernel ...

This commit makes v10.5.1 the default FreeRTOS kernel in ESP-IDF by removing
the CONFIG_FREERTOS_USE_KERNEL_10_5_1 option and v10.4.3 specific code
blocks.

2023-10-21 04:39:16 +08:00

..

include/freertos

change(freertos/idf): Make v10.5.1 the default kernel

2023-10-21 04:39:16 +08:00

port.c

fix(freertos): Use INTERRUPT_CURRENT_CORE_INT_THRESH_REG for esp32p4

2023-09-07 15:25:35 +08:00

portasm.S

change(freertos/idf): Make v10.5.1 the default kernel

2023-10-21 04:39:16 +08:00