84eedefca2
FreeRTOS: Remove usage of portXXX_TYPE See merge request espressif/esp-idf!25107
FreeRTOS: Remove usage of portXXX_TYPE See merge request espressif/esp-idf!25107