I was trying to pass the RTC device from the host machine (qemu-arm46) to the guest machine linux VM on top of L4. and it was done successfully.

Now I'm trying to share the same device between 2 linux VMs on top of L4.

 by duplicating the virtual device that describes the same physical device and also duplicating the virtual bus and passing one for each new vm.

The issue if that one of the VMs is terminated because of the disability of binding the same IRQ as described in the screenshot below : 

Please find attached all ned scripts I'm using for this experiment.

Thank you,

Regards
--