Are there known FreeRtos ports for EM3588 or similar chips?
If I recall correctly these devices have a Cortex-M core, so no porting
should be needed as such for FreeRTOS, just the creation of a project
that builds the code. The following links may help: