The core should have a builtin FreeRTOS library, akin to STM32FreeRTOS. This additionally requires that the core allows hooking of the SysTick function and possibly other functions.