FreeRTOS and dual core

Hi there,
I am currently developing a project where I would like to keep CMSIS-RTOS portability and interface compatibility.
This is probably a “little” late question: But since only queues are available throught the CMSIS-RTOS(correct me if I am wrong) would it be possible to implement a Queue based IPC for AMP communicaton method instead?
What could be the problems ? Should I still send an interrupt to the receiving Core?
Many thanks!