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 https://devtalk.nvidia.com/default/topic/1062461/jetson-tx2/questions-about-communication-between-spe-and-cpu-complex/?offset=2#5381481
please check the reply and hope that helps.

br
ChenJian