How SPE communicate with CCPLEX?

As we know SPE runs FreeRTOS, and CCPLEX runs linux, how can they communication? Throught SPI or I2C?

Hello, garretzou:
I saw another thread [url]Questions about communication between SPE and CPU complex - Jetson TX2 - NVIDIA Developer Forums
please check the reply and hope that helps.

br
ChenJian