I am considering use of freeRTOS in my efm32gg project. I was looking for freeRTOS port. In Demos folder i found only: CORTEX_EFMG890F128_IAR example. But via google i found something like official port from SiliconLabs - (port mentioned here https://energymicroblog.wordpress.com/2013/09/05/getting-most-out-of-freertos-on-efm32/).
Source code is a part of SiliconLabs SimplicityStudio (distributed as example).
I compiled this code and make few simple test and everything seems to be working good. I am wondering if there is any reason why this port is not ‘a part’ of official freeRTOS release?