Dear Expert,
I develop software with S32KDS for ARM 2018R1. I find FreeRTOS v8.2.1 has been integrated with S32DS, but I want to use FreeRTOS v10.1.1. I did as following documents:
--《Tutorial: FreeRTOS 10.0.1 with NXP S32 Design Studio 2018.R1》
---《Using custom FreeRTOS with S32K SDK and OSIF for ARM》
by the way, I defined the symbol as following:

I download the McuOnEclipse FreeRTOS component, but I found there is no file: Header.h, shown as following:

1. But , after the component osif being added into my project, and building my project the following error is shown.I found the file osif_baremetal.c instead of osif_freertos.c.

How can file osif_freertos.c be got?
Could you help me? Thank you very much!