Resource sharing

Adam Lackorzynski adam at os.inf.tu-dresden.de
Sun Apr 4 23:36:33 CEST 2021


Hi,

On Sun Apr 04, 2021 at 12:51:25 +0200, John Galt wrote:
> Is it possible to share resources between two VMs running Linux?
> After defining the io_bus and the io configuration, just one VM is getting
> access to the resource while the other displays:
> ERROR: binding irq 34, result is -1 (operation not permitted)
>  "VMM: FATAL: Device creation for virtual device failed".
> Terminate called after throwing an instance of 'N2L413Runtime_errorE'
> what: Operation not permitted: cannot bind to IRQ

That looks like you're trying to share the same hardware interrupt with
multiple VMs. I'm not sure how this can work? Shall both VMs get the
same hardware interrupt in parallel, i.e. the hardware interrupt should
fire twice? What's the model you're thinking of here?


Adam




More information about the l4-hackers mailing list