09-25-2019 04:23 PM
09-30-2019 12:52 PM
Hi @static0192 ,
You are right, the latest release is 10.1.1 of FreeRTOS kernel. You can take a look to the repository history of the ThirdParty BSP providers used within the SDK to get some insight .
https://github.com/Xilinx/embeddedsw/commits/master/ThirdParty/bsp
Regards
09-26-2019 06:21 AM
Looking through some source code, I identified in `FreeRTOS.h` that the kernel used is version 10.1.1. Could someone confirm this?
09-30-2019 12:52 PM
Hi @static0192 ,
You are right, the latest release is 10.1.1 of FreeRTOS kernel. You can take a look to the repository history of the ThirdParty BSP providers used within the SDK to get some insight .
https://github.com/Xilinx/embeddedsw/commits/master/ThirdParty/bsp
Regards