On 07/13/2012 03:24 PM, Alexander Boettcher wrote:
@Alexander Boettcher: Is there anything to consider regarding I/O memory when using Nova with enabled IOMMU?
A quick lock into the specification of the NOVA kernel shows, that assign_gsi returns the msi vector to be programmed (if the device is used in msi mode, is it?).
Big NO here!
In base-nova/src/core/irq_session_component.cc however
- first the return value of the syscall operation is ignored
- second the msi values returned by the kernel are ignored.
The assign_pci system call is completly not used in Genode currently, however required to work with IOMMU support enabled ...
@Sebastian: we have to revisit this part asap., maybe next week together.
Okay, lets do that.
@Markus: You can come along as well, since our offices are not that far apart .-)
Sebastian