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
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Reply via email to