This thread has been locked.

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.

TDA4VM: [GIC] SGI ID13 (or just 8-15) is unavailable for our multiple OS communication (Linux kernel version 5.10 and a determinism RTOS)

Part Number: TDA4VM

In our environment (Machine model: Texas Instruments K3 J721E SoC), SGI ID13 is unavailable for our multiple VMs communication. Our OS is Linux  (kernel version 5.10 git://git.ti.com/ti-linux-kernel/ti-linux-kernel.git and UBoot is git://git.ti.com/ti-u-boot/ti-u-boot.git, SDK is ti-processor-sdk-linux-j7-evm-08_01_00_07) and a rtos (determinism OS). We want to know if it's possible to use SGI ID8-15 in multiple VMs communication like this Scenes.