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.