Share memory between Multi-operating systems environment

Hello everyone! I have a Jetson tx2, where three cores are assigned to linux kernel and one to FreeRTOS (using jailhouse hypervisor). I need to share a buffer between two processes that run in these two operating systems.

The problem is that in Linux I have to deal with virtual addresses and in FreeRTOS I don’t. And I don’t know much about jetson mmu. The question is how can I write the buffer in a known physical address, where processes in both operating system can read/write? Do you have any suggetions or documentation about it?

Thank you so much!

@s1097014
I check the devmem2 have deal with the virtual address and physic address and it’s public source tool,
You may reference it to try.