If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.
I am not still very clear on your query. In general, each core run it's own instance of freeRTOS and these cores can communicate with each other with various ipc mechanisms.
Now there are multiple ways of realizing Linux+RTOS use cases. You can either load firmware on non A72 cores via U-boot or you can boot these cores via SBL and then let SBL load Linux on A72.
