9da5d7c40a
This commit adds the necessary changes to the FreeRTOS SMP source and and header files so that it can be compatible with ESP-IDF.