F prime on SmartFusion2 with FreeRTOS

[Almostrey]

Hi everyone.

I'm student of Electronics Engineering and I'm doing my final project.
My project consists of implement an RTOS and then a Mission Management System like F Prime on Microchip SmartFusion2 board which is a SoC with ARM Cortex-M3. Actually, I have implemented FreeRTOS but I'm wondering how to implement F Prime on my board. I have seen fprime-freertos but don't understand how to implement it,

The software I use is Libero for program the hardware on VHDL and SoftConsole for software part.

Could you guide me please.
Thanks a lot, in advance for your help!